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.