For Wilson's theorem, if $p$ is prime then $(p-1) \equiv -1 \mod{p}$ and if not $0 \mod{p}$ except for $p=4$, is $p$ and integer or natural number?
Studying Wilson's theorem for Double, Hyper, Sub and Double factorials and I have begun by stating what Wilson's theorem actually is.
However is $p \in \mathbb{Z}$? Or is $p \in \mathbb{N}$?