Talk:Baire category theorem