( p − 1 ) ! + 1 ≡ 0 ( mod p )
Wilson's theorem
Satz von Wilson
necessary and sufficient condition for a number to be prime
mathematischer Satz