Пусть в конечном промежутке содержатся системы промежутков, каждая из которых состоит из конечного числа не налегающих друг на друга замкнутых промежутков. Если сумма длин промежутков каждой системы больше некоторого постоянного положительного числа , то найдется, по крайней мере, одна точка , принадлежащая бесконечному множеству систем .