在剩下的情形中取一个非平凡轨道。由引理，对每个 iii，xi−xi−1x_i-x_{i-1}xi−xi−1 整除 xi+1−xix_{i+1}-x_ixi+1−xi；由于轨道闭合，最后一个差又整除第一个差。因此所有非零相邻差的绝对值相等。