Round-six lemma `lsU_runs`