Category:Distinct Points in Metric Space have Disjoint Open Balls