Nagata-Smirnov Metrization Theorem