Modulus/R/Generalized triangle inequality/Exercise