theorem Th63:
  (1).H = (1).G
proof
A1: 1_H = 1_G by Th44;
  (1).H is Subgroup of G & the carrier of (1).H = {1_H} by Def7,Th56;
  hence thesis by A1,Def7;
end;
