Methods of mathematical induction. - Sominsky I S (1975)