Measure Theory (The outer of A plus the inner measure of (B~A) equals the Lebesgue measure of B)

If A is a subset of B and B is measurable, then the outer of A plus the inner measure of (B~A) is the same as the Lebesgue measure of B.