theorem
  R is well-ordering implies R is being_quasi-order & R is
  being_partial-order & R is being_linear-order;
