Talk:Kuratowski's intersection theorem