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

Для какого наименьшего натурального числа А формула

(ДЕЛ( x, 2) → ¬ ДЕЛ( x, 3)) \/ ( x + A ≥ 70)

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