theorem :: GROUPP_1:34

for p being Prime
for G, H being strict Group st G,H are_isomorphic & G is p -commutative-group holds
H is p -commutative-group by Th22, Th33;