https://9dok.org/document/z3doew09-ordering-orders-and-quotient-rings.html