Metrization theorem