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