Ahora bien, si formula_1 es la transformada inversa de formula_2: