【正确答案】我们利用反证法。假设对于某些k来说，C^k不是从X^k到D^*的一一映射，则需证明C不是唯一可译码。
   根据假设，必然存在两个不同的序列(x₁，…，x_k)和(y₁，…，y_k)满足：
   C^k(x₁，…，x_k)=C(x₁)…C(x_k)=C(y₁)…C(y_k)=C^k(y₁，…，y_k)    (5.10)
   反过来，如果C不是唯一可译码，那么根据唯一可译码的定义，必然存在两个不同的序列(x₁，…，x_i)和(y₁，…，y_j)满足：
   C(x₁)C(x₂)…C(x_i)=C(y₁)C(y₂)…C(y_j)    (5.11)
   将这两个序列按照不同的顺序串接起来，得到：
   C(x₁)…C(x_i)C(y₁)…C(y_j)=C(y₁)…C(y_j)C(x₁)…C(x_i)    (5.12)
   这表明对于k=i+j来说C^k不是X^k到D^*的一一映射。