Для какого наименьшего целого неотрицательного числа А выражение
\(x \\gt 3\) ⋁ \(x \+ 1 \\lt y\) ⋁ \(x2 \+ y2 \\lt A\)
тождественно истинно, т.е. принимает значение 1 при любых целых неотрицательных x и y?