Round-six lemma `corrLC_runs`