Talk:Integral of Characteristic Function

Isn't this direct from the definition of $\mu$-integral?