F_n F_(n + 1) F_(n + 2) F_(n + 4) F_(n + 5) F_(n + 6) + (L_(n + 3))^2 = (F_(n + 3))^2 (2 F_(n + 2) F_(n + 4) - (F_(n + 3))^2)^2 for n element Z