Some lemma's about sequences.