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