Доказано, что любую неконстантную булеву функцию от n переменных можно реализовать неизбыточной схемой из функциональных элементов в базисе f&; ; :g, допускающей при n > 3 единичный проверяющий тест длины не более 6n^10 относительно произвольных неисправностей элементов.