Metric Space Compact iff Complete and Totally Bounded