Pembuktian melalui induksi: Perbedaan antara revisi