  For r in [0,1] let \mu_r be the Bernoulli measure on the Cantor set given as
the infinite power of the measure on the two-point set with weights r and 1-r.
For r and s in [0,1] it is known that the measure \mu_r is continuously
reducible to \mu_s (that is, there is a continuous map sending \mu_r to \mu_s)
if and only if s can be written as a certain kind of polynomial in r; in this
case s is said to be binomially reducible to r. In this paper we answer in the
negative the following question posed by Mauldin:
  Is it true that the product measures \mu_r and \mu_s are homeomorphic if and
only if each is a continuous image of the other, or, equivalently, each of the
numbers r and s is binomially reducible to the other?
