ラドン=ニコディムの定理
Theorem 32.2