一般の測度空間で、最後まで一般的な形で
定理を証明するのがよい