Question 9Find all prime numbers $p$ for which the number of ordered pairs of integers $(x, y)$ satisfying the conditions $y^2 \equiv x^3 - x \pmod p$ and $0 \le x, y \lt p$ is exactly $p$.