ka≡kb (mod n)
この形で両辺をkで割れるのは、kとnが互いに素なとき。