So if you manage to complete both of these steps, if you prove both the base case that P(1) holds, you argue that directly, and then also you argue that assuming the inductive hypothesis, that the assertion holds for all smaller integers, it also holds for an arbitrary integer n. 