theorem Th46:
  1_G in H
proof
  1_H in H;
  hence thesis by Th44;
end;
