Kuratowski theorem