Nagata-Smirnov metrization theorem