section_heading: Dokaz
paragraph_text: Slijedi niz jednostavnih jednakosti (transformacija): <math>p_1 = (F_n + F_{n + 1})F_n = F_nF_n + F_nF_{n + 1}.</math> Sada koristimo (1): <math>p_1 = F_{n + 1}F_{n - 1} - 1 + F_nF_{n + 1}</math> i konačno dobivamo <math>p_1 = F_{n + 1}(F_{n - 1} + F_n) - 1,</math> odnosno <math>p_1 = F_{n + 1}F_{n + 1} - 1</math> što upravo daje <math>p_2.</math>