X=0X=0X=0 になるまで減少操作を繰り返す。環の辺 XXX を越す両方向の変化も計算し、1より大きく減る方向があればそれを選ぶ。各操作で XXX は厳密に減少し、ポテンシャルの議論により最少回数で終了する。 n,1n,1n,1 XXX