Fibonacci Sequence Strong Induction