en la base de autoestados de formula_38, formula_67 es diagonal y formula_68 también