Prove mnotr_leq'.