theorem Th28:
  R well_orders X implies R quasi_orders X & R partially_orders X
  & R linearly_orders X;
