Round-six lemma `gathS`