theorem Th7: :: NUMBER16:7

( Fib 6 = 8 & Fib 7 = 13 & Fib 8 = 21 & Fib 9 = 34 & Fib 10 = 55 & Fib 11 = 89 & Fib 12 = 144 & Fib 13 = 233 & Fib 14 = 377 & Fib 15 = 610 & Fib 16 = 987 & Fib 17 = 1597 & Fib 18 = 2584 & Fib 19 = 4181 & Fib 20 = 6765 & Fib 21 = 10946 & Fib 22 = 17711 & Fib 23 = 28657 & Fib 24 = 46368 & Fib 25 = 75025 )