TeX source:

7^4≡1 \pmod{15}