If you read this and you’re curious, there’s a proof that is fairly easy to follow if you understand eigenvectors. Write the operation that takes the two last elements of the sequence and produces the following two, notice it’s linear, then analyze the eigenvalues of the associated matrix and relate the original operation to the power method.