Round-six lemma `repS`