🚨Alerte Théorèmes Ouverts #05
0x0005 :: Théorème de Wilson

∀ premier p, p>0, (p-1)! ≡ 1 (mod p)

Difficulté Suggérée : Intermédiaire
Récompense : 103 $CTK
Veuillez soumettre votre preuve ou contribuer au financement.
Vérifiez la vérité sur la chaîne : https://openmath.shentu.org/OpenMath/Theorems/8?from=open

#OpenMath #ThéorèmesOuverts