“…Proof. See[11] for the verification of the reversibility ofΦ * W . Since Φ * W = (DΦ) −1 W • Φ, we have Φ * W * ηr,U ≤ (DΦ) −1 * ηr,ηr,U W • Φ * ηr,U , By (3.8) and η 2 = E, 1 σ Φ − id * ηr,U , DΦ − Id * ηr,ηr,U ≤ 1, then by Lemma 6.10 it follows that W • Φ * ηr,U ≤ W * ηr,v .…”