Brahmagupta-Fibonacci Identity/Corollary

Theorem
Let $a, b, c, d$ be numbers.

Then:
 * $\paren {a^2 + b^2} \paren {c^2 + d^2} = \paren {a c - b d}^2 + \paren {a d + b c}^2$