En grupos no conmutativos simétricos por la izquierda, se verifica