Subsets of Totally Bounded Metric Spaces Are Totally Bounded