Nos interesa probar que formula_66 es un anillo con identidad.