それはともかく。y=ax+b は、(y-b)=axだから、y≡b(mod x)なのかな？合同式の記号操作には慣れていないのでアレだけれど。差分方程式（微分の近似）とゲームの表の対称性についてだけれど。差分法 - Wikipediaそんなことも考えていたなぁ、と思って。そこまで…