I am looking for a reference of the following (true) fact:

**Theorem.** *For any two continuous strictly positive Borel probability measures $\mu,\lambda$ on the Cantor cube $2^\omega$ there exists a homeomorphism $h:2^\omega\to 2^\omega$ such that $h(\mathcal N_\mu)=\mathcal N_\lambda$.*

Here by $\mathcal N_\mu=\{B\subset 2^\omega:\mu(B)=0\}$ we denote the $\sigma$-ideal of sets of $\mu$-measure zero in the Cantor cube; and $h(\mathcal N_\mu)=\{h(B):B\in\mathcal N_\mu\}$.

A measure $\mu$ on a topological space $X$ is called *continuous* if $\mu(\{x\})=0$ for all $x\in X$; and *strictly positive* if $\mu(U)>0$ for any non-empty open set $U\subset X$.

I believe that such a useful (and not very difficult) fact should be already known and published somewhere. Right?

**Remark.** Two measures on the Cantor cube need not be homeomorphic. For example, the Haar measures on the zero-dimensional compact topological groups $(\mathbb Z/2\mathbb Z)^\omega$ and $(\mathbb Z/3\mathbb Z)^\omega$ are not homeomorphic as they have different sets of values on closed-and-open subsets (and this set of values is a topological invariant of a measure).