当 ∣S∣≤2|S|\le2∣S∣≤2 时，圆排列在旋转和反射下显然唯一。当 ∣S∣≥3|S|\ge3∣S∣≥3 时，令 p=maxSp=\max Sp=maxS，其两个相邻元素为不同的 q,rq,rq,r。上一步说明删去 ppp 并连接 q,rq,rq,r 仍保持良好性，故由归纳假设 S∖{p}S\setminus\{p\}S∖{p} 的排列唯一。将最大素数 ppp 插回这两个被迫的相邻元素之间，即得 SSS 的唯一排列。