theorem Th65:
  (1).G is Subgroup of H
proof
  (1).G = (1).H by Th63;
  hence thesis;
end;
