TeX source:

1^1≡1 \pmod{15}