Complete and Totally Bounded Metric Space is Sequentially Compact

Theorem
Let $M = \struct {A, d}$ be a metric space.

Let $M$ be complete and totally bounded.

Then $M$ is sequentially compact.