= k + 16 · [k(5k + 7) + 3(5k + 8)]
= k + 16 · (5k2 + 22k + 24)
נפרק, ונבדוק בפתיחת סוגריים:
📐 פתיחת סוגריים
= (k + 1)(k + 2)(5k + 12)6 ✓
הטענה נכונה בעבור n = 1, והוכחנו שאם היא נכונה בעבור n = k אז היא נכונה גם בעבור n = k + 1. לפי עקרון האינדוקציה, הטענה נכונה לכל n טבעי.