2^{n+2} \equiv 0 \pmod{17}