24b0d121e09c28a8699fe8b115ef046b686c9036

(참조 : Elementary Number Theory 7th - David M. Burton)



gcd(c,p)=1이니까 합동 방정식 cc' ≡ a (mod p)은 유일한 해를 가지니 p-3개의 정수들이 cc'로 2개씩 나뉘어지긴 할텐데,

c ≠ c'을 가정할 수 있는 이유가 무엇인가요?