− | 证明。E = I[S->;S<-] = H[S->] - H[S-> | S<-]并且,由于因果态的构造,H[S->|S<-] = H[S->|S],所以
| + | 证明。<math>\mathbf{E} = I[\overset{\to }{S};\overset{\leftarrow}{S}] = H[\overset{\to }{S}] - H[\overset{\to }{S} \vert \overset{\leftarrow}{S}]</math>并且,由于因果态的构造,<math>H[\overset{\to }{S} \vert \overset{\leftarrow}{S}] = H[\overset{\to }{S} \vert \mathcal{S}]</math>,所以 |