=+13.15. Consider Lebesgue measure A restricted to the class $ of Borel sets in (0, 1].

For a fixed permutation n1, n2 ,... of the positive integers, if x has dyadic expansion .x1x2 ..., take Tx = . xx ..... Show that T is measurable /9 and that AT" = A.