Redirecting to Kuratowski's free set theorem