theorem Th26: :: FIB_NUM2:26

for n being Nat holds Fib (n + 4) = (Fib (n + 2)) + (Fib (n + 3))