Sequentially Compact Metric Space is Compact

Theorem
A sequentially compact metric space is compact.