ON THE ORDER-THEORETIC CANTOR THEOREM