Предположим, нет программы, к-рую нельзя сократить на 2 укуса (октета, байта). Тогда любую программу Х0 длиной L можно урезать на эти самые 2 байта, получая программу Х1 длиной L-2. Поскольку L - число конечное, рано или поздно на этапе (L / 2) мы получим программу длинной в 0 байтов (и то, только если изначальное число байтов - четное).

Поскольку 0 байтов не несут в себе никакой информации, программа будет являться пустой, то есть не будет содержать никаких инструкций. Соответственно, ваше утверждение верно только для пустых (не содержащих исполняемых инструкций) программ четной длины, состоящих исключительно из неисполняемого текста (т.наз. "комментариев").