4.2 אינדוקציה מתמטית