  We show that an $n\times n$ circulant Hadamard matrix must satisfy a family
of congruence equations that have solutions only when $n \leq 4$, proving
Ryser's 1963 conjecture that no such matrices exist for $n>4$.
