Sei x aus G. Wenn x=1 ist, dann bist du fertig, dann ist n = 1
Betrachte die Potenezen von x, also x^1 x^2 x^3 etc.
Da G nur endlich viele Elemente hat , gibt es irgendwann 2 Potenzen
die gleich sind etwa x^k = x^s
Es sei oBdA s≥k wenn k=0 ist, bist du fertig, dann ist 1 = x^s
Ist k<0, dann multipliziere ( von links ) mit dem Inversen von x, dann ist
x k-1 = x s-1
wenn jetzt k=0 ist, s.o..
Nach weiteren k-1 Schritten dieser Art hast
1 = x s-k
Also ist s-k das gesuchte n. q.e.d.