Für n=1 ist dies der Inhalt von Fakt. Für n≥2 folgt dies aus Fakt, angewendet auf das n-fache Produkt von (ℝ,ℬ1,λ1) mit sich selbst.