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