Round-six lemma `setup_of`