Induksi matematika

Kesimpulan:
Jadi, formula_15 benar untuk x - y adalah faktor formula_100 untuk semua bilangan bulat positif n karena memenuhi kedua langkah pembuktian