F_n^2 + F_{n+1}^2 = F_{2n+1}