https://sasamath.com/blog/articles/baire-category-theorem-basic/