Normality-of-Metric-Spaces
It's well known that all metric spaces are normal spaces. In-fact, one can give an explicit construction of a disjoint pair of open sets that "separate" an arbitrary pair of disjoint closed sets in the metric space. We run a simulation of the same construction here.
