2.I.1F

Number Theory
Part II, 2007

Let pp be an odd prime number. Prove that 2 is a quadratic residue modulo pp when p7(mod8)p \equiv 7 \quad(\bmod 8). Deduce that, if qq is a prime number strictly greater than 3 with q3q \equiv 3 (mod4)(\bmod 4) such that 2q+12 q+1 is also a prime number, then 2q12^{q}-1 is necessarily composite. Why does the argument break down for q=3q=3 ?