根据【20】定理2.1.5,fu∞⊥⊥ FXt | Fut,(A.2),其中我们采用了条件独立性的不对称公式(参见[20]定理3.3.7)。特别是,使用还原(参见[20]引理3.3.5)Fut+⊥⊥ FXt | Fut。同样,根据(A.1)和[20]定理3.4.1,FX,ut+⊥⊥ FXt |σ(Xt)∨ Fu∞, (A.3)而根据(A.2)和[20]定理3.4.2,Fu∞⊥⊥ FXt |σ(Xt)∨ Fut.(A.4)组合(A.3)和(A.4),使用与[20]示例3.4.4中相同的参数,我们得到fx,ut+⊥⊥ FXt |σ(Xt)∨ 需要Futas。定理3.2的证明我们首先证明了(3.5)对于任何T∈ (t,∞). 修复T∈ (t,∞). 在下面的内容中,我们以注释方式抑制t,并为TPjk(t,t)。因为对于k<j,Pjk(T)=0,因此mjk(T)=0 fork<j,剩下的方程组采用formA(T)~m(T)=P(T),移除索引k<j后,m为向量m,移除相同索引后,pB为向量pam,m=m、 ,m0J,m,m1J,m(J-1) J>,P=PP0J,P,P1J,P(J-1) J>,其中A是一个带对角元素的上三角矩阵J timesz}{P,…,P,J-1 timesz}{P,…,P,…,P(J-1) (J)-1),其中,其他条目为0或P的元素。因为Pujj(T)=exp-ZTtXk>jujk(s)ds> 0,它认为Pjj(T)>0,因此特别是Rdet A=J-1Yj=0PJ-jjj>0,这意味着A是可逆的。因此,对于固定T∈ (t,∞) 当k<j且m(T)=a时,存在由mjk(T)=0给出的唯一解-1(T)~P(T)。为了完成证明,我们必须证明溶液是Fut可测量的(作为t的函数)。如果A的条目是Fut可测量的,则紧随其后的是Cramer规则。