This implies $ n^2 - 1 \equiv 0 \pmod12 $, or $ (n - 1)(n + 1) \equiv 0 \pmod12 $. - Groen Casting