7 Sea $n>3$ un entero positivo que satisface $2^n+1=3p$, donde $p$ es un número primo. Sea $s_0=\frac{2^{n-2}+1}{3}$ y $s_i=s_{i-1}^2-2$ para $i>0$. Demuestre que $p \mid 2s_{n-2}-3$.