Complex numbers/Modulus/Rules/Fact/Proof