TeX source:

4^2≡1 \pmod{15}