Fibonacci's identity