[1] マクミラン (McMillan) の定理: q 元符号が一意に復号可能であれば、

(L は符号語長分布多項式)。