I want to prove the statement:
Let E be a non-meager subset of a Banach space, then E - E contains a neighborhood of zero.
Here, E - E means the Minkowski difference of E with itself. The statement is very similar to a statement about subsets with positive measure. I think I need to use the Baire Category Theorem, but I am not sure how.