Borel-Lebesgue-Maß/R^n/Existenz und Eindeutigkeit/Fakt/Beweis

Beweis

Für ist dies der Inhalt von Fakt. Für folgt dies aus Fakt, angewendet auf das -fache Produkt von mit sich selbst.