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.