Lebesgue Pre-Measure is Pre-Measure

Theorem
The Lebesgue pre-measure $\lambda^n$ on the half-open $n$-rectangles $\mathcal{J}_{ho}^n$ is a pre-measure.