Kummer's use of the letter λ to represent a prime number, α to denote a λth root of unity, and his study of the factorization of prime number formula_12 into "complex numbers composed of formula_13th roots of unity" all derive directly from a paper of Jacobi which is concerned with higher reciprocity laws.