Input (grade 10): denotes the factorial function; compare this with Wilson's theorem, which states that every prime p divides (p 1)!
Output (grade 6): Compare this with Wilson's theorem, which states that every prime p divides (p 1)!