Metric Space Compact iff Complete in All Equivalent Metrics

Theorem
Let $M_1 = \struct {A, d_1}$ be a metric space.

Then $M_1$ is compact $M_2 = \struct {A, d_2}$ is a complete metric space whenever $d_2$ is equivalent to $d_1$.