  It is proved that two useful and apparently different metrics on the set of
Borel probabilities on countable products of Polish spaces of bounded diameters
are equal. This paves the way for advances in their computation.
