1: \begin{proof}[Proof of Theorem \ref{thm:KSdiff}]

2: We begin by using a general transformation property of the quantum 

3: conditional expectation.  Let $U$ be a unitary operator and define a new 

4: state $\mathbb{Q}(X)=\mathbb{P}(U^*XU)$.  Then 

5: $\mathbb{P}(U^*XU|U^*\mathcal{C}U)=U^*\mathbb{Q}(X|\mathcal{C})U$ 

6: provided that $\mathcal{C}$ is commutative and $X\in\mathcal{C}'$.  The 

7: statement is easily verified by direct application of Definition 

8: \ref{def:condex}.  The reason we wish to perform such a transformation is 

9: that in order to apply Lemma \ref{lem:holevo}, it will be more convenient 

10: if we condition with respect to $\mathcal{Z}_t$ rather than 

11: $\mathcal{Y}_t$.  From this point on, we fix a $t\in[0,T]$ and define the 

12: new state $\mathbb{Q}(X)=\mathbb{P}(U_t^*XU_t)$.  Evidently 

13: $\pi_t(X)=U_t^*\mathbb{Q}(X|\mathcal{Z}_t)U_t$.

14: 

15: We would now like to apply Lemma \ref{lem:bayes} to

16: $\mathbb{Q}(X|\mathcal{Z}_t)$.  Note that by Lemma \ref{lem:holevo} we 

17: obtain $\mathbb{P}(V_t^*XV_t)=\mathbb{P}(U_t^*XU_t)=\mathbb{Q}(X)$.  

18: Moreover $V_t$ is affiliated to $\mathcal{B}\otimes\mathcal{Z}_t\subset

19: \mathcal{Z}_t'$, as it is defined by a QSDE which is integrated against

20: $Z_t$ and has coefficients in $\mathcal{B}$ (this statement can be 

21: rigorously verified by an approximation argument.) 

22: Hence by Lemma \ref{lem:bayes} we obtain $\mathbb{Q}(X|\mathcal{Z}_t)=

23: \mathbb{P}(V_t^*XV_t|\mathcal{Z}_t)/\mathbb{P}(V_t^*V_t|\mathcal{Z}_t)$.

24: The statement of the Theorem follows immediately. 

25: \end{proof}

26: