יש פה מישהו שיודע הוכחה של אינדוקציות?