z⁢v1′=2⁢u0-2⁢u1⁢v12-θ∞⁢v1.