Let E be a lebesgue measurable subset of R

For n = 1,2,3,... we can find a set of open intervals { } suvh that

Let . Then is borel since it is the union of open sets.

Let , then G is also Borel.

Finally, I claim m(G\E) = 0, it suffices to show m(E) = m(G)

Since E is in G, then m(E) <= m(G)

And,

And this is true for all n, thus m(G) <= m(E), and so m(E) = m(G)

and m(G/E) = 0