theorem
  (1).G /\ H = (1).G & H /\ (1).G = (1).G
proof
A1: (1).G is Subgroup of H by Th65;
  hence (1).G /\ H = (1).G by Lm3;
  thus thesis by A1,Lm3;
end;
