הגדרה לכל ולכל שמקיים מתקיים הוכחה באמצעות אינדוקציה: בסיס האינדוקציה צעד האינדוקציה: הנחה: עבור לכל מתקיים צעד: נשים לב שעל מנתת לטעון ש השתמשנו בכך ש , ו עצרת