The sequence lemma