# Proof that Lebesgue outer measure is additive on the Borel sigma algebra without constructing the Lebesgue sigma algebra?

Is it possible to prove that Lebesgue outer measure on $$\mathbb{R}$$ is additive on the Borel sigma algebra without constructing the Lebesgue sigma algebra? Every book I have checked first constructs the Lebesgue sigma algebra in some way (either by Caratheodory or by defining the Lebesgue sets to be those that can be approximated (for example) from without by closed sets).