Задание

Сколько существует целых значений числа A, при которых формула
\(\(x \\lt 6\)\(x2 \\lt A\)) ∧ \(\(y2 ≤ A\)\(y ≤ 6\))
тождественно истинна при любых целых неотрицательных x и y?