Define total boundedness for metric spaces.

Prove that a metric space has the Bolzano-Weierstrass property if and only if it is complete and totally bounded.