prove that compact subsets of a metric space are closed