Аннотация: Рассматривается следующая задача: для заданной функции требуется найти такой набор строк (сертификат), с помощью которого можно проверить ее повторность в предэлементарном базисе, содержащем функцию семейства дискриминаторных, зависящую от s переменных. В работе показано, что сертификат повторности терминальной функции n переменных в этом базисе имеет длину не менее n/2 – s + 1, и таким образом улучшена известная нижняя оценка n/s функции Шеннона длины сертификата повторности в этом базисе.