Langkah pertama, substitusi solusi. Karena a, b, dan c adalah solusi, maka kita ganti x menjadi a, y menjadi b, dan z menjadi c. Kita dapatkan tiga persamaan baru: satu, a tambah m b sama dengan tujuh. Dua, minus a tambah b kurang c sama dengan minus dua. Dan tiga, a tambah dua b tambah c sama dengan delapan. Langkah kedua, eliminasi persamaan dua dan tiga dengan menjumlahkannya. Minus a ditambah a habis, b ditambah dua b menjadi tiga b, dan minus c ditambah c juga habis. Maka tiga b sama dengan enam, sehingga b sama dengan dua. Langkah ketiga, cek pernyataan satu, yaitu dua b sama dengan empat. Karena b sama dengan dua, maka dua dikali dua sama dengan empat. Pernyataan satu benar!