
theorem :: Solution of Problem 64 not included in Sierpinski 250
  Fib 3 - Fib 2 = Fib 4 - Fib 3 by FIB_NUM2:23,22,21;
