这直接来自定理5.4,它提供了XVA表达式(20)右侧出现的术语“uta”的比较结果。其中,足以观察到风险中性违约强度仅为u-rD,请注意,这两个收尾项与速率u无关。因此,式(27)的右侧比左侧小:后者表示满足边界条件的特定F-可预测强度过程,而前者是所有此类强度过程的上确界。这表明等式(27)的左侧小于或等于右侧。t显示反向不等式,即等式(27)的左侧大于或等于右侧,注意族(XVAut)u∈F、 u∈[uC,uC]向上,即对于u,u∈ F、 uC≤ u, u≤ uC,存在一个过程u∈ F、 uC≤ u≤ uC,使XVAu∨ XVAu≤ XVAu。确实,设置a:={ω∈ Ohm : XV Aut>XV Aut}我们可以通过设置us来直接确定u:=us1lA+us1lac for s≥ t、 对于0,us=0≤ s<t。由于a是Ft可测量的,因此这种过程显然是Fs可测量的。由于向上定向集的本质上确界可以写成单调极限(参见(F"ollmer et al.,2004,定理A.32)),limn→∞XVAu(n)=rXVA。因此,由于空集的可数并仍然是空集,因此对于所有t,rXVAtis小于或等于等式(27)的右侧。接下来,我们提供超级复制策略的表达式。这些是通过将ˇut替换为ˇU得到的*tinto方程(22)–(23)。使用(28)中定义的复制策略,我们得出,在集合{t<τ}上,时间t的复制投资组合的值为ξ1,*uBu+ξI,*tBIt+ξC,*tBCt+ξf,*tBrft公司- ψm,*tBrmt=ˇU*t。