We then show that if is true when (for some integer value of ), then it's also true when (the next integer). In other words, we show that
OK. So let's look at what happens if is true.
, since we now have the proposition where has the value
This, together with the fact that you have already proved that is true, completes the proof.