This theorem shows that a p-[product metric](/page/Product%20Metric) on a finite product of metric spaces induces exactly the usual [product topology](/page/Product%20Topology). It connects the metric construction with the standard topological structure on finite products.