theorem Th29:
  R linearly_orders X implies R quasi_orders X & R partially_orders X;
