- Z - מספר שלם.
- בבדיקה הסימן הוא לא שווה אלא שווה ומעליו סימן שאלה.
|
בדיקה נכונות הטענה עבור 
עריכה
נניח כי הטענה נכונה עבור
טבעי
עריכה
נוכיח כי הטענה נכונה עבור n=k+1
עריכה
- הטענה הראשונה נכונה על פי ההנחה
- שלם עבור K טבעי.
הטענה נכונה עבור כל n טבעי, ע"פ שלושת שלבי האינדוקציה.