誤植というより勘違いだね、
>>21の命題自体は正しいんだから

ただ、上とつながってない
実際必要になるのは
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} or {2} (mod3)
だね