Mit Induktion genügt es, die Aussage für D 1 {\displaystyle {}D_{1}} zu zeigen. Unter Verwendung von Fakt, angewendet auf das Maß f d λ n {\displaystyle {}fd\lambda ^{n}} und die Funktion t ↦ e − i ⟨ u , t ⟩ {\displaystyle {}{\mathfrak {t}}\mapsto e^{-{\mathrm {i} }\left\langle {\mathfrak {u}},{\mathfrak {t}}\right\rangle }} , ist