Let

be a real number, and consider the arithmetic progression

modulo 1. You can think of this as walking along a circle with

steps of a fixed length. The three-distance theorem states that the distance between any two consecutive footprints is one of at most three distinct numbers. That is, the circle is partitioned into arcs with at most three distinct lengths.