1999학년도 수능문제 계열공통 15번

결론을 부정하여 n이 소수가 아니라고 하면, n = lm 인 1보다 큰 자연수 l, m이 존재한다.
l 을 나누는 한 소수를 p, m을 나누는 한 소수를 q라 하면, pq는 lm을 나눈다. 그러므로 pq≤n이다. 만약 p>이고 q>이면 pq>= n이므로 모순이다. 따라서 [  (가) ]이다.
즉 n의 약수 중에서 보다 작거나 같은 소수가 존재한다. 그런데 이것은 가정에 모순이므로, n은 소수이다.