Discrete Topology is Metrizable