If a measure is absolutely continuous with respect to the Lebesgue measure, invariant under orthogonal transformations and translations then this measure is a multiple of the Lebesgue measure.
A measure invariant under orthogonal transformations
1
$\begingroup$
measure-theory