Сколько существует целых значений числа A, при которых формула

\(\(x \\lt 7\) → \(x ^ 2 \\lt A\)) ∧ \(\(y ^ 2 ≤ A\) → \(y ≤ 7\))

тождественно истинна при любых целых неотрицательных x и y?
__________________________
Примечение:
Знаком ^ обозначается возведение в степень.