Measure of Half-Open Interval as Difference of Distribution Function

Theorem
Let $a, b \in \R$.

Let $\mu$ be a finite Borel measure on $\R$.

Let $F_\mu$ be the distribution function of $\mu$.

Then:


 * $\map \mu {\hointl a b} = \map {F_\mu} b - \map {F_\mu} a$

Proof
Note that:


 * $\map \mu {\hointl {-\infty} a} < \infty$

since $\mu$ is finite.

Then, we have: