Let $(X,d)$ be a complete metric space. Then every subset $B\subset X$ of first category has empty interior. Corollary: Every non empty complete metric space is of second category.