This theorem identifies the 2-[product metric](/page/Product%20Metric) on a finite product of Euclidean spaces with the ordinary Euclidean distance after the standard coordinate identification. It explains why the abstract product metric recovers the familiar [Euclidean metric](/page/Euclidean%20Metric).