Обозначим через ДЕЛ\(n, m\) утверждение «натуральное число n делится без остатка на натуральное число m» ; и пусть на числовой прямой дан отрезок P =