>>660>>664
上に書いたx≡y(mod p)は
x~y ⇔ x-y∈{np|n∈整数}
と書けるということですか？
分数ではmodという書き方はしないんですか？