Simon’s proof that every Fibonacci number is a sum of its neighbouring Lucas numbers divided by 5

This has probably been proven before, but Simon likes to come up with his own proof. Here he uses proof by induction, that is a proof that proves that some property holds for all natural numbers.