Source: https://www3.nd.edu/~jspeaks/courses/2008-9/10100/_LECTURES/19 - induction.pdf