Baire space
The result above implies that every complete metric space is a Baire space.