Änderung im Beweis von 1.6

Es ist essentiell wichtig zu erwähnen, dass k \neq n ist, da im Beweis ja die Klassengleichung benutzt wird, und damit p| |Z(G)| gilt, muss auch jedes [G:Z_G(x)] durch p teilbar sein. Dies ist aber erst dann durch die Feststellung [G:Z_G(x)]=p^{n-k} gegeben, wenn n \neq k ist.