<div class="dem">il s'agit de trouver les entiers \(x ) tels qu'il existe un entier \(k) vrifiant 
<center> \(a*x = b + k*n) </center>
ou encore 
<center> \(a*x - k*n = b) </center>
On s'est donc ramen  rsoudre une quation de Bezout. Elle a une solution car on a suppos que \(a) et \(n) sont premiers entre eux. 
</div>