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
.