A su vez, usando la propiedad de valor absoluto formula_4 si y solo si formula_5 en la línea de arriba queda: