Theorem If A is a nonempty subset of the integers and there exists 1 Z such that 1 a for all a A, then A contains a least element. Theorem If A is a nonempty subset of the integers and there exists u Z such that a u for all a A, then A contains a greatest element.