Complex numbers/Real and imaginary part/Properties/Fact/Proof/Exercise