תהי ${\displaystyle (X,\leq )}$ קבוצה סדורה היטב, ותהי ${\displaystyle A\subset X}$ כך שמתקיים ${\displaystyle \forall x\in X:O(x)\subseteq A\Rightarrow x\in A}$, אזי ${\displaystyle A=X}$.

משמעות המשפט היא, שאם תכונה מסויימת מתקיימת לחלק מהאיברים, אבל קיום התכונה לכל האיברים הקטנים מאיבר מסויים גורר את קיום התכונה עבור אותו האיבר, אזי התכונה נכונה לכל האיברים.

נניח בשלילה ${\displaystyle A\neq X}$, אזי ${\displaystyle X\setminus A\neq \emptyset }$.
מכיוון ש-${\displaystyle X}$ סדורה היטב, קיים ${\displaystyle x_{0}=\min(X\setminus A)}$.
לפי בנייתו, לכל ${\displaystyle x<x_{0}}$ מתקיים ${\displaystyle x\in A}$, כלומר ${\displaystyle O(x_{0})\subseteq A}$, ולכן לפי הנתון ${\displaystyle x_{0}\in A}$, בסתירה.