更准确地说,在definingx之后**s+1=zλ*+ B*s+1,1+z+(γ)*)C*s+1,1- 2c*s+1,1γ*z1- 2c*s+1,1,以下关系式必须保持δW(x)*s+1,θ)- W(y)*, θ)= δ*W(x)**s+1,θ*) , (D.1)βiV(x)*s+1,θ)- V(y)*, θ)= β*iV(x)**s+1,θ*) , (D.2)αjV(x)*s+1,θ)- V(y)*, θ)= α*jV(x)**s+1,θ*) , (D.3)DV(x)*s+1,θ)- V(y)*, θ)= D*V(x)**s+1,θ*) , (D.4)与y*= -λ/2 - ν+. 等式(D.1)可以改写为δlog1.-θ1 - θy*十、*s+1- Y*= δ*日志1.- θ*十、**s+1,从中我们得到了充分条件δ*= δ, θ*= θ/(1 - θy*), 和x*s+1- Y*= 十、**s+1。可以通过替换验证后一种关系满足λ*= -1/2和γ*= γ + λ + 1/2. 关系式(D.2)相当于βi1- θy*θ1 - θy*十、*s+1- Y*1.- θ/(1 - θy*)十、*s+1- Y*= β*iθ*十、**s+11- θ*十、**s+1,这意味着β*i=βi/(1)- θy*). 类似的推理适用于等式s(D.3)和(D.4)。