This theorem proves that the standard p-product formula on a finite product of metric spaces is itself a metric. It establishes nonnegativity, definiteness, symmetry, and the triangle inequality, giving a basic construction used to metrize finite products.