Original: denotes the factorial function ; compare this with Wilson 's theorem , which states that every prime p divides ( p 1 ) !
Simplified: Compare this with Wilson 's theorem , which states that every prime p divides ( p 1 ) !