2.9. Για κάθε ακέραιο n ³ k, θεωρώ την πρόταση P(n):
Οι
προτάσεις Q(m) ισχύουν για k £ m £ n.Αρκεί να δείξω ότι η
P(n) ισχύει για κάθε n ³ k.Αρκεί επομένως να επαληθεύσουμε τις συνθήκες (ι) και (ιι) της 2.8:
(ι) η P(k) ισχύει από την (1). (ιι) Εστω ότι η P(n) ισχύει.
Τότε η (2) μας εξασφαλίζει ότι και η P(n + 1) ισχύει. Ο.ε.δ.