На числовой прямой задан отрезок А. Известно, что формула
\(\(x∈A\)→\(x2\\lt =64\))∧\(\(y2\\lt =25\)→\(y∈A\))
тождественно истинна при любых вещественных x и y. Какую наименьшую длинну может иметь отрезок А?