Round-six lemma `jTab_bnd`