Reference request for a divisibility property of Fibonacci numbers Define the Fibonacci numbers $F_n$ by $F_n=F_{n-1}+F_{n-2}$ and initial values $F_0=0$ and $F_1=1.$
I would like to get a reference for the following result:
If $p$ is a prime number with  $p \equiv  \pm 2\bmod 5$ then $p$ divides $F_{p+1}$.

In Fibonacci Numbers Modulo $p$ by Brian Lawrence (Theorem 4.4), or in (1.5) from Some formulae for the Fibonacci sequence with generalizations by George H. Andrews. The latter cites G. H. Hardy and E. M. Wright, An Introduction to the Theory of Numbers, 1960, page 150. Here is a screen copy (and a copy of the book):

