>>601
= を ≡ (mod p) と読み替えることもできないのか?