Short tests for contact circuits under one-type weakly connected faults of contacts

We prove that for any natural $k$ any Boolean function can be implemented by a two-pole contact circuit that is $k$-irredundant and allows a $k$-diagnostic test of length no more than $1$ relative to one-type connected faults of contacts in groups where each group consists of one closing and one opening contact.