Deriving Fibonacci with linear algebra July 31, 2023