Бих добавил, че е вярно нещо повече. Ако [tex]N \ \gt \ 2[/tex] е фиксирано. Тогава A съдържа N членна аритметична прогресия с разлика d за всяко достатъчно малко d.
Някаква вариация на Теоремата на Щайнхаус. Идеята на доказатеството е почти същата с малка адаптация. Например може да се следва например това:
http://en.wikipedia.org/wiki/Steinhaus_theorem