Heine-Cantor Theorem (Metric Spaces)