Prinsip Pengurutan Baik memberi anggota terkecil \(m=\inf S\in S\text{.}\) Jika \(q\in\Z\) dan \(q<m\text{,}\) maka \(q\) tidak mungkin memenuhi \(q>nx\text{;}\) jadi \(q\leq nx\text{.}\)