Pembuktian melalui induksi - Bahasa lain