<div class="dem">
Si \(y) est pair, \(x^2) \equiv 7 mod  8, ce qui est impossible 
 car tout carr est pair ou congru  1 mod  8.
</div>