Round-six lemma `iB`