Redirecting to Metrization theorem