Kuratowski's_free_set_theorem loading ...