可以用克劳夫特不等式作为唯一可译码存在的判据。