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