theorem Th27: :: GROUPP_1:27

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