Complex numbers/Conjugation real part modulus/Fact/Proof/Exercise