Define subsequences, prove a basic lemma