Soient \(a,b,a',b' \in \Z\) avec \(b \wedge b' = 1\).
Montrer que le système : \(\begin{cases}x \equiv a (\mathrm{mod}\, b) \cr
x \equiv a' (\mathrm{mod}\, {b'}) \end{cases}\)
possède des solutions et qu’elles sont congrues entre elles modulo \(bb'\).