a가 b로 나누어 떨어지면 b | a 로 표시할게
(당연히 a, b는 정수)
예를 들어 3 | 15, 5 | 15 처럼.
b | a 는 b = ak를 만족하는 정수 k가 존재하는 것과 같은 소리임.
어떤 소수 p(분자에 있는 p 말고) 와 정수 q에 대해
p | q^2 이면 p | q 이다
라는 명제를 증명하고
소수 p_1, p_2, … , p_n에 대해
p_1 | q, p_2 | q, … , p_n | q 이면
p_1 × p_2 × … × p_n | q 이다
이걸 증명하면 될 걸
왜 a대신 a’을 했냐면
18 | 6^2 이지만 18 | 6은 아니어서
마찬가지로
60 | 30^2 이지만 60 | 30은 성립하지 않아서
그래서 제곱수들을 전부 빼놓고 시작하는 거임.