Soient $a$ et $b \in \mathbb{N}$ deux entiers premiers entre eux. Alors il
existe des entiers naturels $x$ et $y$ tels que $ax - by = 1$.
