Can someone help me get started on these problems? These are tough questions, and I believe some of them are propositions in some books. A reference to more info would also be nice.

[L denotes Lebesgue measure function, out denotes outer measure,
R denotes real number set]

(a)
Show that for any subset E of R, there is a G_delta set A such that E is subset of A and L(A) = out(E).

(b)
Show that a subset E of R is Lebesgue measurable if and only if there is a G_delta set A such that E is subset ofA and out(A \ E) = 0.

(c) Show that if E is subset of B, where B is a Lebesgue measurable set with L(B) < +infinity,
then
E is Lebesgue measurable if and only if L(B) = out(E) + out(B \ E)



[ How would I set up the solutions? Which should be done by contradictions? ]