О надежности неветвящихся программ в произвольном полном конечном базисе

Рассматривается реализация булевых функций неветвящимися программами с условной остановкой в произвольном полном конечном базисе. Предполагается, что операторы условной остановки абсолютно надежны, а все вычислительные операторы базиса независимо друг от друга с вероятностью $\varepsilon$ из интервала (0,1/2) подвержены инверсным неисправностям на выходах. Доказано, что любую булеву функцию можно реализовать программой с ненадежностью $\varepsilon+81\varepsilon^2$ при всех $\varepsilon\in(0,1/960]$.