Round-six lemma `jBody_bnd`