Обозначим через ДЕЛ \(n, m\) утверждение «натуральное число n делится без остатка на натуральное число m». Для какого наибольшего натурального числа А формула
ДЕЛ \(150, A\) ∧ \(¬ДЕЛ \(x, А\) → \(ДЕЛ \(x, 15\) → ¬ДЕЛ \(x, 25\)))
тождественно истинна \(то есть принимает значение 1 при любом натуральном значении переменной x\)?