theorem Th31: :: ORDERS_1:31

for R being Relation st R is being_quasi-order holds
R quasi_orders field R