克劳夫特不等式是唯一可译码（）的充要条件。