Gunakan bukti langsung: ambil dua calon \(m\) dan \(m'\text{,}\) lalu buktikan \(m\leq m'\) dan \(m'\leq m\text{.}\) Antisimetri urutan pada \(\R\) kemudian memberi \(m=m'\text{.}\)