(Е. Джобс) Обозначим через ДЕЛ(n, m) утверждение «натуральное число n делится без остатка на натуральное число m». Сколько существует целых положительных значений A, таких что выражение
\(ДЕЛ(A, 5) \land (\lnot ДЕЛ(2020, A) \rightarrow (ДЕЛ(x, 1718) \rightarrow ДЕЛ(2023, A)))\)
тождественно истинно (то есть принимает значение 1 при любом натуральном значении переменной x)?