Langkah pertama, terjemahkan ke persamaan. Dari x sama dengan dua y, kita dapat y sama dengan x per dua. Dari x ditambah y sama dengan z ditambah satu, kita dapat z sama dengan x ditambah y dikurang satu. Substitusikan y ke persamaan z, sehingga z sama dengan x ditambah x per dua dikurang satu, atau z sama dengan tiga x per dua dikurang satu. Persamaan ketiganya adalah x kali y sama dengan z ditambah enam.