기초대수학이 기초정수론의 일반화처럼 생각할 수도 있다고는 하는데 뭔가 친숙한 걸? 예시로 들려고 하는지 이상한 증명을 많이 하는 것 같음.

대수 쪽 하는데 페르마 소정리 같은 거를 곱셈군 (Zp＼{0}, ×)에 라그랑주 정리 써서 (Zp＼{0} : <a>) ord(a) = p - 1이니까 a^(p-1) = 0 (mod p) 이런 증명을 하는데 뭔가 닭 잡는데 소 잡는 칼 쓰는 느낌임