Compact Subsets Of Metric Spaces Are Closed