<div class="dem"> Ici, \(p) est impair, donc \(p - 1) est divisible par 2. 
<p> Si -1 \equiv \(a^2) mod  \(p), alors  
<center>\((-1)^((p - 1)/2)) \equiv \((a^2)^((p - 1)/2)) \equiv \(a^(p - 1))
\equiv 1 mod  p.</center>
La dernire congruence est le petit 
\fold{thfermat}{thorme de Fermat.} Donc  \((p - 1)/2) est pair, 
ce qui signifie que  \(p) \equiv 1 mod  4. 
</div>