De rij $a_0,a_1,a_2,\ldots$ wordt gedefinieerd als $a_0=2,\ a_{k+1}=2a_k^2-1$ met $k\geq0$. Bewijs dat als een oneven priemgetal $p|a_n$, dat dan $2^{n+3}|p^2-1$.