정리4.5.5 -(3)에 대해서
마지막에 왜 x≡1^2,...., ( (p-1)/2 )^2까지만이 x^((p-1)/2) -1 ≡ 0 (mod p)될 수 있는지 이해가 안갑니다
a^2<p인 수가 x^((p-1)/2) -1 ≡ 0 (mod p) 이 합동식의 해가 될 수 있는거라면,
((p+1)/2)^2와 같은, 즉 (p-1)/2 이상의 수를 제곱한 수도 p보다 작다면, 될 수 있는거 아닌가요?
(p+1)/2와 같이 "(p+1)/2 =< (p+k)/2 < p-1"범위 내의 (p+k)/2인 정수는 무조건 제곱하면, p보다 커지게 되어서 그런건가요?
