Pilih koordinat \(j\) yang tidak pernah dibatasi; lingkungan \(x_j<1/2\) tidak memuat satu pun kandidat basis.