Informasi yang berkaitan dengan vi/Định lý tập tự do của Kuratowski