Theorem of subsequence