Сколько существует целых значений числа G, при которых формула
((f < 6) → (f2 < G)) ∧ ((h2 ≤ G) → (h ≤ 6)) тождественно истинна при любых целых неотрицательных f и h?