every sequence in X has a Cauchy subsequence