Complex numbers/Modulus/Rules/Fact