合同式
n を自然数 (1 以上の整数) とする.
整数 a, b に対して、 a − b が n で割り切れるとき
a と b は n を法として合同であるといい，a≡b (mod n)とかく
https://www.ms.u-tokyo.ac.jp/video/open/2021koukai-kouza/op2021-001.pdf