theorem :: NUMBER06:45

(Fib 3) - (Fib 2) = (Fib 4) - (Fib 3) by FIB_NUM2:23, FIB_NUM2:22, FIB_NUM2:21;