Kuratowski's free set theorem
 
x
OK