Round-six lemma `rB`