Теорема редукции

Пусть двоичный код для вероятностей кодируемого алфавита , а двоичный код для вероятностей .

Тогда

а) если – оптимальный префиксный код, то также оптимальный префиксный код;

б) если – оптимальный префиксный код и вероятности упорядочены , то тоже оптимальный префиксный код.