Probamos que formula_77 es nilpotente.