theorem Th27: :: GROUPP_1:27

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