Fang mal an mit xy und multipliziere das mit e=xx, dann gilt
xy = (xy)(xx) Dann assoziativ!
= x(yx)x = wieder mal e=xx
(x(yx)x)(xx) =
jetzt mal (yx)(yx) das ist auch das Produkt zweier gleicher Gruppenelemente also auch gleich e
(x(yx)x)(xx)(yx)(yx) =
= ((x(yx)x)(x(xy)x) (yx)
Die ersten beiden großen Klammern sind genau gleich,
also ist ihr Produkt auch e, also bleibt nur yx.