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

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