theorem :: NUMBER06:43

(Fib 1) - (Fib 0) = (Fib 3) - (Fib 1) by FIB_NUM2:22, PRE_FF:1;