\( \definecolor{colordef}{RGB}{249,49,84} \definecolor{colorprop}{RGB}{18,102,241} \)
Par définition, l'affirmation \(a \equiv b \pmod{n}\) est équivalente à dire que :