theorem :: NUMBER06:42

(Fib 1) - (Fib 0) <> (Fib 2) - (Fib 1) by FIB_NUM2:21, PRE_FF:1;