If we make a list of any four consecutive Fibonacci numbers, twice the third one minus the fourth one is always equal to the first one. Write a formal proof by strong induction. [Note: There are easier ways to prove this fact. However you must use strong induction, or you will receive zero credit]