[1] クラフト (Kraft) の不等式:Σi q−| αi | (i = 1, 2, ..., s)
Σi q−| αi | (i = 1, 2, ..., s)
ただし s は符号語の総数, αi は符号語。
s
αi
[2] マクミランの定理の不等式の別の表現。