Неупрощаемые описания для условной колмогоровской сложности

Пусть некоторая программа $p$ дает на входе $a$ результат $b$. Будем искать “упрощение” $p$ – программу $q$, такую что $q(a)=b$, но более простую (имеющую меньшую колмогоровскую сложность), причем легко получаемую по $p$ (это означает, что колмогоровская сложность $K(q\mid p)$ мала). Показано, что для любых слов $a$ и $b$ (кроме вырожденных случаев) можно найти “неупрощаемую” программу $p$ любой наперед заданной сложности, большей $K(a)+K(b\mid a)$.