kuratowskis closure-complement problem