Sei fib ( x ) = fib ( x - 1 ) + fib ( x - 2 ), x ∊ N, x > 2 und fib
( 1 ) = fib ( 2 ) = 1
Wenn fib ( x ) prim ist, ist auch x prim, ausser bei x = 4.
Umgekehrt scheint es bei den primen Argumenten p über 571 nur noch
2971 zu geben, für die gilt: fib ( p ) ist prim.
Daraus schliesse ich: wenn fib ( y ) prim und y > 571 und y <> 2971
<==> y nicht prim.
Ist das alles?