Pembuktian melalui induksi: Perbedaan revisi