Round-six lemma `coreB_runs`