🚨Open Theorems Alarm #05
0x0005 :: Wilsons Satz

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

Vorgeschlagene Schwierigkeit: Mittel
Belohnung: 103 $CTK
Bitte reiche deinen Beweis ein oder leiste einen Beitrag.
Überprüfe die Wahrheit on-chain: https://openmath.shentu.org/OpenMath/Theorems/8?from=open

#OpenMath #OpenTheorems