Extended rn_invariant, proved mnotr_rn_leq. :)