Задание

Обозначим через ДЕЛ (n, m) утверждение «натуральное число n делится без остатка на натуральное число m». Для какого наименьшего натурального числа А формула

(ДЕЛ (x, 7) → ¬ДЕЛ (x, 5)) ∨ (x + A  ≥  140)

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