This may be really simple, but I couldn't prove the last detail needed in the proof, see below.
Theorem
Every bounded sequence $s_n$ contains a convergent subsequence.
Let $E=\{s_n:n\in\Bbb N\}$. Then $E$ is bounded. If $E$ is infinite, it has a limit (by a previous theorem). And the conclusion follows from theorem 3.6 $[\dots]$
Okay, theorem $3.6$ says that every set of complex numbers with a limit point $z$ has a sequence $z_n\in E\,(n=1,2,\dots)$ such that $z_n\to z$.
The thing is that just having a sequence of $z_{n_k}\to z$ doesn't necessarily imply that $z_{n_k}$ is a subsequence of $s_n$ ($z_{n_k}$ could be $(s_5,s_2,s_1,s_3,\cdots)$).
How can we construct a subsequence of $s_n$ from such sequence $z_{n_k}$?