Round-six lemma `sufP_runs`