Sei ( x y ) k = 1 {\displaystyle (xy)^{k}=1} . Wir haben zu zeigen, dass k {\displaystyle k} ein Vielfaches von n m {\displaystyle nm} ist. Es ist
da ja n {\displaystyle n} die Ordnung von x {\displaystyle x} ist.