Compact Metric Space is Complete

Theorem
A compact metric space is complete.

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