Round-six lemma `jB`