Variation of Complex Measure is Finite Measure

Theorem
Let $\struct {X, \Sigma}$ be a measurable space.

Let $\mu$ be a complex measure on $\struct {X, \Sigma}$.

Let $\cmod \mu$ be the variation of $\mu$.

Then $\cmod \mu$ is a finite measure on $\struct {X, \Sigma}$.