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.