Issues with Skeleton Proof for Strong Induction

[dcernst]

Complete induction needs a comment that we may have to assume k is large enough to be able to do what needs to be done.

[dcernst]

Also, think carefully about any comments about number of base cases. I should probably say that you may need at most some number. Depends on situation.