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