theorem Th33: :: GROUPP_1:33

for p being prime Nat
for G, H being Group st G,H are_isomorphic & G is p -commutative-group-like holds
H is p -commutative-group-like