Andaikan \(A\) tak kosong dan tidak sama dengan \(\R\text{.}\) Pilih \(a\in A\) dan \(b\notin A\text{,}\) lalu gunakan sifat supremum pada bagian \(A\) di antara kedua titik tersebut.