https://www.theoryofcomputation.co/proof-by-induction/