Complex numbers/Real and imaginary part/Properties/Fact