Ahora, por la definición de formula_128, se sigue inmediatamente que