Real numbers/Modulus/Properties/Fact/Proof/Exercise