I'm practicing induction and proof-writing, and I have a small query. How do we use the inductive hypothesis in our closing argument? Can we equate it to a statement proved by a lemma? For instance, do we assume that the inductive hypothesis is true in the (n+1) case all the time? Also, can we assume that b+c = a, when a = b+c?