$a^{(n-1)/2} \equiv -1 \pmod n$ for some integer $a$

$a^{n-1} \equiv 1 \pmod n$

$(n-1)! \equiv -1 \pmod n$

$2^n - 1$ is prime