Translationsinvariantes Maß/Echte Unterräume haben Maß 0/Fakt

Es sei ein translationsinvariantes Maß auf dem , das auf dem Einheitswürfel endlich sei. Es sei ein echter Untervektorraum.

Dann ist .