theorem Th50:
  g1 in H & g2 in H implies g1 * g2 in H
proof
  assume g1 in H & g2 in H;
  then reconsider h1 = g1, h2 = g2 as Element of H;
  h1 * h2 in H;
  hence thesis by Th43;
end;
