For distinct odd primes p, q: (p/q)(q/p) = (−1)^{(p−1)(q−1)/4}. Gauss's 'theorema aureum'; foundation of class field theory.