Integral against orthogonal measure. Proof that it preserves scalar product. Posted by Anton Sorokovskiy, at math.stackexchange.com, 25 Sep 2017 I'm trying to figure this out: How to prove theorem 8.3 from this…