Sequentially Compact Metric Space is Separable

Theorem
A sequentially compact metric space is separable.

Proof
This follows directly from:
 * Sequentially Compact Metric Space is Totally Bounded
 * Totally Bounded Metric Space is Separable.