Теорема о существовании префиксного кода

Пусть для алфавитов и существует взаимно-однозначный код , заданный набором кодовых слов с длинами , тогда для тех же алфавитов и существует префиксный код с теми же длинами кодовых слов.