טוב, אני בכל זאת אכתוב את הפתרון
לדעתי צריך 2 אינדוקציות
הגעת לשלב שצריך להוכיח ש-[tex]5 \cdot 5^k+2 \cdot 2^{k+1}+3[/tex] מתחלק ב-12
אבל
[tex]5 \cdot 5^k+2 \cdot 2^{k+1}+3 = (5^n+2^{n+1}+3) + (4 \cdot 5^k+2^{k+1})[/tex]
האגף השמאלי מתחלק ב-12 בגלל האינדוקציה
עכשיו צריך עוד אינדוקציה בשביל להראות שגם האגף הימני מתחלק ב-12