https://www.mathstoon.com/proof-by-induction/