Complex numbers/Conjugation/Real part imaginary part/Fact/Proof/Exercise