>>213の訂正
>f(π(x))ψ(x) が本質的にμ可積分であるとき、
>f は本質的にν可積分であり、
>∫ f(y) dν(y) = ∫ f(π(x)) dμ(x) である。

f(π(x))ψ(x) が本質的にμ可積分であるとき、
f は本質的にν可積分であり、
∫ f(y) dν(y) = ∫ f(π(x))ψ(x) dμ(x) である。