お願いします。
(Ｘ,Ｍ,μ)は測度空間とする。非負値可測関数fとE∈Ｍに対してvf(E)=∫[E]f(x)dμ(x)と定めると、vfはＭ上の測度であることを示せ。また、任意の非負値可測関数gに対し、∫[Ｘ]g(x)dvf(x)=∫[Ｘ]g(x)f(x)dμ(x)が成り立つことを示せ。