Если проводится n испытаний, результат каждого из которых оценивается логической функцией z, причём результат «ложь» является нежелательным, то для достаточно большого n обязательно хотя бы для одного испытания A получим нежелательный результат z(А).