>>621
もし余裕があるなら合同式勉強するといいよ
合同式そのものは定義だから自分で定義すればいいし、よく使う性質の証明はかなり簡単だから