Prove part of mnotr_rn_leq'.