Round-six lemma `rotIt_runs`