Given the following theorem:

Is there any way I can manipulate this statement to get the condition that occurs when E is not measurable?Let E by any set of real numbers. The following assertion is equivalent to the measurability of E:

For each epsilon>0, there is an open set O containing E for which m*(O~E)<epsilon

(where m*() denotes Lebesgue outer measure)

Thanks