И действительно, если эту лемму доказать, то понятно, какой должен быть критерий замыкания: если отсекаемая масса составляет (p/q) от полной массы внешней окружности, то для любой начальной точки мы замкнёмся через q шагов, сделав p оборотов, а если они несоизмеримы, то не замкнёмся никогда.