Für n = 1 {\displaystyle {}n=1} ist dies der Inhalt von Fakt. Für n ≥ 2 {\displaystyle {}n\geq 2} folgt dies aus Fakt, angewendet auf das n {\displaystyle {}n} -fache Produkt von ( R , B 1 , λ 1 ) {\displaystyle {}(\mathbb {R} ,{\mathcal {B}}^{1},\lambda ^{1})} mit sich selbst.