Vajda's Identity/Formulation 1

Theorem
Let $F_n$ be the $n$th Fibonacci number.

Then:
 * $F_{n + i} F_{n + j} - F_n F_{n + i + j} = \paren {-1}^n F_i F_j$

Proof
From Honsberger's Identity:

Therefore: