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)

と書かれているのですが、何を意味しているのかわかりません。
どなたか教えていただけませんか。
ちなみにx_n は 0,1,2いずれかの数字が入ります。
( !≡ は合同の記号に斜線が入ったものです。)