Round-six lemma `reindex`