Redirecting to Nagata–Smirnov metrization theorem