theorem
  R is being_partial-order implies R is being_quasi-order;
