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