О k-диагностических тестах относительно инверсных неисправностей элементов

Доказано, что любую булеву функцию можно реализовать k-неизбыточной схемой из функциональных элементов в некотором конечном полном базисе, допускающей k-диагностический тест длины не более 2 при инверсных неисправностях на выходах элементов.