R^nの開集合で定義された連続関数fに対し、その開集合内の区間塊
(または、より一般にJordan可測集合)Iでのfの積分によって、
加法的集合関数Φを定義する：
Φ(I)＝∫(I→)f(x)dx
このとき、Φは各点で(強い意味で)密度微分可能であり、その密度はf、
つまりDΦ=fであることを示せ

お願いします