Complex Modulus/Examples/z1 + z2/Proof 2