Mari kita cek konsistensinya dengan persamaan pertama, yaitu empat de tambah sepuluh e kurang ef sama dengan minus dua belas. Jika kita substitusi ef sama dengan empat, maka empat de tambah sepuluh e sama dengan minus delapan. Jika kedua ruas dibagi dua, hasilnya dua de tambah lima e sama dengan minus empat, tepat sesuai dengan persamaan kedua.