Observe that x_(i-1),x_i,x_(i+1) are distinct if and only if
につながってんだよね？
0 !≡ x_i - x_(i-1) !≡ x_(i+1) - x_i !≡　0 (mod3)
i.e.
{x_i - x_(i-1) , x_(i+1) - x_i} ≡ {1.2} (mod3)
これ自体は問題無いけど、上の文と必要十分になってない
この間は以下とつながるようにここは書き直して説明した

この部分じゃないけど前スレ324で修正入れてる