reserve G for Group,
  a,b for Element of G,
  m, n for Nat,
  p for Prime;

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;
