Complex Modulus/Examples/z1 - z2/Proof 2