Así tenemos que formula_77 es nilpotente, y por tanto está en formula_71.