Prueba: Usamos la inducción sobre formula_4.