Round-six lemma `fsI_runs`