Законы математической логики

(А. Рогов) Обозначим через ОД(n, m) утверждение «натуральное число n и натуральное число m имеют хотя бы один общий делитель, отличный от 1».

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

(ОД(x, 42) → ¬ОД(x, 7)) \/ (x + A ≥ 25)

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