Round-six lemma `rowB`