theorem
  H1 is Subgroup of H2 implies H1 is Subgroup of H2 "\/" H3
proof
  H2 is Subgroup of H2 "\/" H3 by Th60;
  hence thesis by GROUP_2:56;
end;
