Induksi matematika

karena x - y adalah faktor dari formula_111 dan x - y juga merupakan faktor formula_112, maka x - y adalah faktor dari formula_107. Dengan menggabungkan hasil pada langkah pembuktian 1 dan 2.