Category:Totally Bounded Metric Space is Second-Countable