Complex Modulus/Examples/2 conj z1 - 3 conj z2 - 2/Proof 2