The work is devoted to to one of the variations of the Hadwiger-Nelson problem on the chromatic number of the plane. In this formulation one needs to find for arbitrarily small ε the least possible number of colors needed to color the Euclidean plane in such a way that any two points, the distance between which belongs to the interval [1 − ε, 1 + ε], are colored differently. The hypothesis proposed by G. Exoo in 2004, states that for arbitrary positive ε at least 7 colors are required. Also, with a sufficiently small ε the number of colors is exactly 7. The main result of this paper is the proof of this hypothesis.