Теорема: Если формула ЛП, содержит только предикат от одной перменной, выполнимый на некторой области _О_, то она выполнимана области _О_, содержащей не более 2^n (2 в степени n) элементов, где n - число предикатов, входящих в рассматриваемую формулу.
Cледствие: Если формула а(альфа), содержит только предикаты, зависящие от 1ой переменной, яв-ся тождественно истинной для всякой области не превышающей 2^n (2 в степени n) элементов, где n - число предикатов a(альфа), то a(альфа) - тождественно истинна.
