Invertir todos los pasos de esta prueba para demostrar que formula_256 se deja como ejercicio para el lector.