Equivalent statements to compactness of a metric space/Statement

Statement of theorem

Given a metric space $(X,d)$, the following are equivalent:

1. $X$ is compact
2. Every sequence in $X$ has a subsequence that converges (has a convergent subsequence)
3. $X$ is totally bounded and complete