Langkah awal adalah analisis kondisi x lebih besar dari y lebih besar dari nol. Pada garis bilangan, kita letakkan nol, y, dan x. Karena x lebih besar dari y dan semuanya positif, maka nilai x minus y pasti positif, dan x tambah y juga pasti bernilai positif.