Sequentially Compact Metric Space is Second-Countable

Theorem
A sequentially compact metric space is second-countable.

Proof
This follows directly from:
 * Sequentially Compact Metric Space is Separable
 * Separable Metric Space is Second-Countable.