更改

</math>

</math>

证明。由引理7，备注4可得，有一个函数g符合<math>\mathcal{S} = g(\hat{\mathcal{R}})</math>几乎总成立。但是H[f(X)]≤H(X)（等式（附录11））并且因此

证明。由引理7，备注4可得，有一个函数g符合<math>\mathcal{S} = g(\hat{\mathcal{R}})</math>几乎总成立。但是<math>H[f(X)] \le H(X)</math>（等式（附录11））并且因此

<math>

<math>

</math>

</math>

但是<math>C_μ(\hat{\mathcal{R}}) = H[\hat{\mathcal{R}}]</math> (定义4)。证毕。

但是<math>C_μ(\hat{\mathbfcal{R}}) = H[\hat{\mathcal{R}}]</math> (定义4)。证毕。

备注1。我们只是建立了没有竞争者斑图，能同因果态一样对观测预测的那么发，又或者是更简单，在定义4的意义下，相比于因果态来说。（这是参考文献【6】中的定理。）奥卡姆因此告诉我们不用使因果态是没有理由的。下一个定理展示了因果态是唯一最优的，并且因此奥卡姆剃刀是我们不得不使用的。

备注1。我们只是建立了没有竞争者斑图，能同因果态一样对观测预测的那么发，又或者是更简单，在定义4的意义下，相比于因果态来说。（这是参考文献【6】中的定理。）奥卡姆因此告诉我们不用使因果态是没有理由的。下一个定理展示了因果态是唯一最优的，并且因此奥卡姆剃刀是我们不得不使用的。