Real numbers/Modulus/Properties/Fact