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