theorem Th16:
  (1).G is p-group
proof
  take 0;
  thus card (1).G = 1 by GROUP_2:69
  .= p |^ 0 by NEWTON:4;
end;
