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