Massachusetts Institute of Technology: Srini Devadas and Eric Lehman's "Induction I"
Read Section 3, "A Divisibility Theorem."
Click https://s3.amazonaws.com/saylordotorg-resources/wwwresources/site/wp-content/uploads/2011/09/CS202-Induction1.pdf link to open resource.