I have to prove the fact that, given a metric space $(X,d)$ and a subset $K$ of $X$ compact, taking a closed subset $C$ of $K$, this $C$ is compact too.
I have used the characterization of closed sets with sequences, stating that there exist a generic sequence $Xn$ in $C$ that converges to an $x$ belonging to the same set $C$.
Then, using the fact that, since a sequence converges, every subsequence converges to the same limit, I stated that, under the Bolzano-Weierstrass property, set $C$ is compact since a generic sequence of its has a convergent subsequence to a some point of the set.
Now my question is: is that reasoning correct? Since in the solution of the question, the professor uses the fact that $K$ is compact to state the existence of a subsequence that converges.