So Let n=1

1 = 0 +1

Check

Assume

= stated in our first assumption

and * *

then by simplifying with Fibonacci Identities I get

for n≥1.

My question now is with the part between the **, can I make that assumption based on my induction assumption since that is n-1 and my induction assumption is n.