Round-six lemma `step`