  Each compact manifold M of finite dimension k is differentiable and supports
an intrinsic probability measure. There then exists a measurable transformation
of M to the k-dimensional "surface" of the (k+1)-dimensional ball.
