Draw a regular -gon on the unit circle. Rotate it so that its vertices have distinct horizontal coordinates. This is possible because each pair of vertices excludes only finitely many angles.
Sort the numbers as and place them from left to right in this order. Write for the label at vertex . Thus
We will show that this labeling works for every length.