Let be a complete metric space. Then every subset of first category has empty interior. Corollary: Every non empty complete metric space is of second category.