然后,利用命题A.4中的(i)和(ii),我们得到AB{Xs=E}ZtsλXuF(u)du=Xk公司∈F/Eztshaehb{Xs=E,Xu=F-(k) }财政年度∞iλF-(k) F(u)idu+ZtsEhAEhB{Xs=E,Xu=F}财政年度∞iλF F(u)idu=Xk∈传真/传真AG(0,s;, E) ···G((sn,s;En,E)ZtsλF-(k) F(u))G(s,u;E,F-(k) )du+EAG(0,s;, E) ···G((sn,s;En,E)ZtsλF F(u))G(s,u;E,F)du.取任意π=(π,···,πm)∈ π(F/E),回忆一下(Fπk)k=0,1、····、min(3.1)和λF F(u)=-λF(u),我们得到ztshm(s,u;Fπ,···,Fπm)λF(u)du=ZtsλF F(u)ZusλFπm-1Fπm(v)exp-ZuvλFπm(l)dl百米-1(s,v;Fπ,···,Fπm-1) dvdu=ZtsλFπm-1Fπm(v)Hm-1(s,v;Fπ,···,Fπm-1) Ztvexp-ZuvλF(l)dlλF F(u))dudv=ZtsλFπm-1Fπm(v)Hm-1(s,v;Fπ,···,Fπm-1)经验值{-ZtvλF(l)dl}- 1.dv=ZtsλFπm-1Fπm(v)exp-ZtvλF(l)dl百米-1(s,v;Fπ,···,Fπm-1) dv-ZtsλFπm-1Fπm(v)Hm-1(s,v;Fπ,···,Fπm-1) dv=Hm(s,t;Fπ,···,Fπm)-ZtsλFπm-1F(v)Hm-1(s,v;Fπ,···,Fπm-1) dv。因此,ZtsλF F(u)G(s,u;E,F)du=Xπ∈π(F/E)ZtsHm(s,u;Fπ,···,Fπm)λF(u)du=Xπ∈π(F/E)Hm(s,t;Fπ··,Fπm)-Xπ∈π(F/E)ZtsλFπm-1F(v)Hm-1(s,v;Fπ,···,Fπm-1) dv=G(s,t;E,F)-Xk公司∈F/EXπ∈∏(F-(k) /E)ZtsλF-(k) F(v)Hm-1(s,v;Fπ,···,F-(k) )dv=G(s,t;E,F)-Xk公司∈F/EZtsλF-(k) F(v)G(s,v;E,F-(k) )dv。最后,我们能够证明AB{Xs=E}ZtsλXuF(u)du= E[1AG(0,s;φ,E)G(s,s;E,E)··G(sn,s;En,E)G(s,t;E,F)]=EAP[Xsi=Ei,i=1,···,n,Xs=E,Xt=F | FY∞]= P[AB{Xs=E,Xt=F}],完成了E的证明 F情况2:E=F。因为G(s,t;E,E)=H(s,t;E)=exp{-RtsλE(u)du},我们导出AB{Xs=E}ZtsλXuF(u)du=中兴通讯AB{Xs=E,Xu=E}λEE(u)du=EAG(0,s;, E) ···G(sn,s;En,E)ZtsλEE(u)G(s,u;E,E)du= EAG(0,s;, E) ···G(sn,s;En,E)经验值-ZtsλE(l)dl- 1.= EAB{Xs=E,Xt=F}- EAB{Xs=E}= EAB(1{Xs=E,Xt=F}- 1{Xs=E}).这证明了E=F的情况,从而完成了命题的证明。B技术证明B。1定理3.5的证明。