For quadratic reciprocity, we need a lemma that gives the Legendre symbol in terms of the number of numbers in an arithmetic progression that are, in a certain sense, negative. As an application, we calculate exactly when 2 is a quadratic residue mod p (answer: when p is 1 or 7 mod 8).
