Kuratowski's theorem