theorem Th22:
  for G,H being strict Group holds G,H are_isomorphic &
  G is p-group implies H is p-group
by GROUP_6:73;
