О сложности кодирования комбинаторных источников

Пусть $X$ – словарь, состоящий из двоичных слов длины $n$. Показано, что существует линейное взаимно однозначное кодирование $X$ словами длины $l\leq 2\log|X|+\log (n/\log|X|)$, программная сложность которого равна $l$.