De forma más precisa, siempre existe un natural "n" tal que, aplicando la operación commutación, ["x","x"...,"x" ] = [...["x","x"]...,],"x"] a cualesquiera elementos "x","x"...,"x" del grupo, siempre obtenemos la identidad.