theorem Th60:
  H1 is Subgroup of H1 "\/" H2 & H2 is Subgroup of H1 "\/" H2
proof
  H1 "\/" H2 = H2 "\/" H1;
  hence thesis by Lm4;
end;
