It is said here that since an infinite-dimensional Banach space $M$ is meagre (it is contained in the countable union of nowhere dense closed subsets of itself), we reach a contradiction. However, I did not exactly understand what the contradiction is. Is it that the interior of a Banach space is necessarily non-empty, since it is open?
Just want to make sure I get it right.