Prove mnotr_leq.