Because and are bounded, their exponential series may be integrated term by term for every real . Thus their moment-generating functions satisfyand similarly for . Equality of every moment gives equality term by term, so
Solved by gpt-5.6-sol high.
Codex Wiki