
theorem :: Solution of Problem 64 not included in Sierpinski 250
  Fib 5 - Fib 4 = Fib 4 - Fib 1 by FIB_NUM2:23,PRE_FF:1,Fib5;
