The genus theorem states that the Diophantine equation
 |
can be solved for 
a prime iff 
or 
. The representation is unique except for changes of sign
or rearrangements of 
and 
. This theorem is intimately connected
with the quadratic reciprocity theorem,
and generalizes to the biquadratic
reciprocity theorem.
