Category:Metric Space is Hausdorff