>>351
あたりまえです^^
m|a-b ⇔ a≡b(mod.m) で定義するわけですから^^

しかし、左側にも視覚的優位性があります^^
初等数論の問題ゴミみたいに解いていくとそれがわかります^^