theorem Th22: :: GROUPP_1:22

for p being Prime
for G, H being strict Group st G,H are_isomorphic & G is p -group holds
H is p -group by GROUP_6:73;