Пусть Для любого префиксного кода <tex>C(X)</tex> <tex>-</tex> префиксный код, отображающий отображающего произвольный алфавит <tex>A_x</tex> на двоичный алфавит <tex> \{0,1\} </tex> , тогда для того чтобы код был разделимым, длины его кодовых слов должны удовлетворять неравенству:
