Round-six lemma `combC_runs`