Lebesgue measure extension, part 4 of 4

This is short and the final part of the proof of the Lebesgue extension theorem. The part shows that the external (outer) measure is in fact sigma-additive.