let X be set ; :: thesis: ( id X is being_quasi-order & id X is being_partial-order )
thus ( id X is reflexive & id X is transitive & id X is reflexive & id X is transitive & id X is antisymmetric ) ; :: according to ORDERS_1:def 3,ORDERS_1:def 4 :: thesis: verum