BWT for repetitive texts, part 3: Toehold lemma setup