Cycle lemma