Round-six lemma `dmN_runs`