This is one of my favorite forms of fibonacci, because it unwinds the recurrence relation without having to apply some kind of relation/master-theorem to it. Rather it describes it as a relation in a way that allows square-and-multiply.