for G being Group
for p being prime Nat holds (1). G is p -group