Si un elemento formula_40 de un monoide formula_24 es invertible, entonces su inverso izquierdo y su inverso derecho coinciden.