О схемах, допускающих короткие единичные проверяющие тесты при произвольных неисправностях функциональных элементов

Доказано, что любую неконстантную булеву функцию от $n$ переменных можно реализовать неизбыточной схемой из функциональных элементов в базисе $\{\&,\oplus,\neg\}$, содержащей не более одной фиктивной входной переменной и допускающей единичный проверяющий тест длины не более $2n+3$ относительно произвольных неисправностей элементов.