Mari kita mulai langkah pembuktiannya. Dari persamaan awal, langkah pertama gunakan sifat distributif sehingga menjadi dua x dikurang delapan ditambah dua sama dengan dua belas. Langkah kedua, sederhanakan konstanta menjadi dua x dikurang enam sama dengan dua belas. Langkah ketiga, tambahkan enam pada kedua ruas sehingga menjadi dua x sama dengan delapan belas. Terakhir, langkah keempat, bagi kedua ruas dengan dua dan kita dapatkan x sama dengan sembilan.