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