Обо­зна­чим через ДЕЛ(n, m) утвер­жде­ние «на­ту­раль­ное число n де­лит­ся без остат­ка на на­ту­раль­ное число m; и пусть на чис­ло­вой пря­мой дан от­ре­зок B  =  [140; 230]. Для ка­ко­го наи­боль­ше­го на­ту­раль­но­го числа А фор­му­ла

тож­де­ствен­но ис­тин­на (т. е. при­ни­ма­ет зна­че­ние 1) при любом на­ту­раль­ном зна­че­нии пе­ре­мен­ной x?