Talk:Kuratowski's theorem