1. 핵심 정의: "나눗셈의 나머지 세계에서의 식"

합동식의 가장 직관적이고 핵심적인 정의는 **"나눗셈의 나머지 세계에서 성립하는 식"**이라는 것입니다.

• 수학적으로 a≡b(modp)는 **"a와 b를 p로 나누었을 때의 나머지가 같다"**는 것을 의미합니다.

• 또한, 이 식은 **"a−b가 p로 나누어떨어진다(즉, 차이가 p의 배수이다)"**라는 성질과 동치입니다. 이를 이용해 15≡0(mod5)와 같이 15와 0은 5로 나눈 나머지가 같다는 식으로 이해할 수 있습니다.