prove that $[5, 7, 11, 13, 17, 19, 23]$ are the only possible variants of the remainders (read context) when dividing the prime number $p$ by 24
For any prime $p > 3$, why is $p^2-1$ always divisible by 24?