Let be a Ring of subsets of .
Let be a countably additive Set Function.
Then extends to a Measure on the sigma-algebra generated by .

Proof