[richy]

Mit Gleichung ADD kann ich auch mal fib(fib(k)) versuchen zu erfassen :

y[k]=y[k-1]+y[k-2]

Auf beiden Seiten den Fib Operator :
FIB(y[k])=FIB(y[k-1]+y[k-2])
FIB(y[k])=FIB(y[k-1]+1)*FIB(y[k-2]) + FIB(y[k-1])*FIB(y[k-2]-1)
... das fuehrt gerade aber zu weit.
Ich will erstmal den mod Beweis nachvollziehen.
Allerdings nach den Gigs am Wochenende