theorem :: NUMBER06:47

(Fib 5) - (Fib 4) = (Fib 4) - (Fib 1) by FIB_NUM2:23, PRE_FF:1, Fib5;