P: Si a y b son elementos del grupo y ab ≠ ba, demostrar que aba ≠ identidad.
Me comenzó diciendo mi teorema, asumió entonces ab ≠ ba. Luego he intentado un par inverso de la ley de manipulaciones, que trabajó en un sentido, sin embargo me llevaron a ninguna parte, como no podía terminar mi prueba concreta. Sugerencias? Soluciones?