Короткие тесты для контактных схем при однотипных слабо связных неисправностях контактов

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