Kuratowski's Closure-Complement Theorem