TeX source:

8^4≡1 \pmod{15}