Round-six lemma `mvNU_runs`