Dirac Measure is Measure

Theorem
Let $\left({X, \Sigma}\right)$ be a measurable space.

Let $x \in X$, and let $\delta_x$ be the Dirac measure at $x$.

Then $\delta_x$ is a measure.