Proved in 1933. If is an odd prime or
and
is any positive integer, then there is a Hadamard matrix of order
where is any positive integer such that
. If
is of this form, the matrix can be constructed with a Paley construction. If
is divisible by 4 but not of the form (1), the Paley class is undefined. However, Hadamard matrices have been shown to exist for all
for
.