<div class="dem">Le reste de la division euclidienne de \(a) par \(n) est bien un reprsentant de \(a) mod \(n) qui est compris entre 0 et \(n-1). 

</div>