对任意的（ａ）∈Ｒ／Ｍ，（Ｏ）〈（ａ）（ｏ），存在（ｂ）∈Ｒ／Ｍ，（Ｏ）〈（ｂ）〈（ｏ），使得（ａ）Ｖ（ｂ０＝（ｏ）。......

证明了在商偏序Ｒ／Ｍ中，任意非零等价类中存在不可比代表元，即对任意〔ａ〕∈Ｒ／Ｍ，如果〔ａ〕≠〔ｏ〕，则存在递归可枚举度ｂ１和ｂ２满足ｂ１＊ｂ２，并且（ｂ１）＝（ｂ２）＝（ａ）。......