Definimos una transformación formula_119 de formula_1 en si mismo por