[질문] 합동식의 정의

두 정수a, b의 차가 정수 p의 배수일 때 a와 b는 p를 법으로 하여 합동이라 하고, 이것을 a≡b(mod p) 또는 a≡b(p)의 식으로 표시하는데, 이 식을 칭한다.