積分の変数変換

一変数の場合でも証明は難しい気がする．