q and p are odd primes.
They are not congruent mod4.
a isn't a divisor of p or q.

Prove quadratic reciprocity law hold for p and q, using

If q = +-p (mod4a) then (a|p) = (a|q).

(... I think p = 4a - q (mod4) and q = 4a + p (mod4) ... but I think I'm missing something when I try to prove it...)