State and prove Gauss's Lemma for the Legendre symbol $\left(\frac{a}{p}\right)$. For which odd primes $p$ is 2 a quadratic residue modulo $p ?$ Justify your answer.