En efecto, pues si formula_70 y formula_15 son, respectivamente, el inverso izquierdo y el inverso derecho de formula_40, entonces formula_81.