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