<div class="thm"><span class="thm"> Thorme : </span> Si \(n = p) est un nombre premier, tout nombre non nul dans \ZZ/\(p)\ZZ a un inverse. 
</div>

<div class="dem"> <span class="dem">Dmonstration </span> 
Comme \(p) est premier, il est premier avec tout nombre qu'il ne divise pas, c'est--dire avec tout nombre dont la classe de congruence modulo \(p) n'est pas nul. On applique alors le \fold{thinverse}{thorme.}
</div>

<div class="exercice"><span class="exercice">Exercices</span> :
\exercise{module=U1/arithmetic/modarith.fr&exo=invpower}{Puissance}
Calcul de puissances : \exercise{module=U1/arithmetic/modarith.fr&exo=power}{ I}
\exercise{module=U1/arithmetic/modarith.fr&exo=power2}{II}
</div>