Simon explains: “Induction is a mathematical term, type of mathematical proof, if you have a couple of base cases (n base cases), then the inductive hypothesis implies that for the previous n values the statement holds. It proves that if the inductive hypothesis is true, the next value will also hold”.

Below, Simon used induction to prove that “any Lucas number and Lucas number after that divided by 5 equals the Fibonacci number between the Lucas numbers”: