Нижняя оценка длины полного проверяющего теста в базисе $\{x|y\}$

Доказывается, что для любой схемы в базисе “штрих Шеффера”, реализующей функцию $x_1\vee x_2\vee \ldots \vee x_n$, длина полного проверяющего теста в случае константных неисправностей типа “1” не меньше $n+1$ ($n\ge 2$). Приводится пример схемы, реализующей упомянутую функцию в указанном базисе, для которой длина полного проверяющего теста равна $n+1$.