Sequentially Compact Metric Space is Compact/Proof 3

Theorem
A sequentially compact metric space is compact.

Proof
Follows directly from:
 * Sequentially Compact Space is Countably Compact
 * Countably Compact Metric Space is Compact