Es sei μ {\displaystyle {}\mu } ein translationsinvariantes Maß auf dem R n {\displaystyle {}\mathbb {R} ^{n}} , das auf dem Einheitswürfel endlich sei. Es sei U ⊂ R n {\displaystyle {}U\subset \mathbb {R} ^{n}} ein echter Untervektorraum.
Dann ist μ ( U ) = 0 {\displaystyle {}\mu (U)=0} .
