Every nonempty set of Positive integers contains a smallest member.
References
Shanks, D. Solved and Unsolved Problems in Number Theory, 4th ed. New York: Chelsea, p. 149, 1993.