text: В качестве P ( x ) {\displaystyle P(x)} возьмем следующее утверждение: можно провести менее, чем континуальное множество различных окружностей так, чтобы каждая точка меньшая или равная x {\displaystyle x} была покрыта ровно 2 окружностями, а остальные точки были покрыты не более, чем двумя окружностями, а также для любой точки y < x {\displaystyle y<x} это множество можно выбрать таким, чтобы оно содержало множество окружностей для точки y {\displaystyle y} .