Assume that for some value n , the statement is true . This is called the induction step .
Another generalization , called complete induction ( or strong induction or course of values induction ) , says that in the second step we may assume not only that the statement holds for n = m but also that it is true for all n less than or equal to m.