Notemos que los elementos de formula_113 son productos de expresiones de la forma formula_114 con formula_115 La tercera restricción nos dice que el grupo no es conmutativo, pero indica que podemos rearreglar las letras de modo que las aes estén delante de las bes.