Problem

Source: 2018 Saudi Arabia GMO TST I p2

Tags: number theory, divides, divisible, prime



Let $p$ be a prime number of the form $9k + 1$. Show that there exists an integer n such that $p | n^3 - 3n + 1$.