Exercise 459Number theory › Divisibility and gcdHigh schoolAdded 3 Nov 2026
Every integer has a prime divisor
#primes#divisor#well-ordering
Statement
Show that every integer has at least one prime divisor.
Hint
Use well-ordering on the set of divisors of greater than .
Show solutionHide solution
Solution
Well-ordering. Let , nonempty since . Let .
is prime. If with , then , so , contradicting minimality of . Hence has no nontrivial factorization.
Conclusion. is a prime divisor of .