Complex Conjugate/Examples/conj z1 - conj z2/Proof 2