Prove mn_rn_new.