Round-six lemma `rowU_of`