TeX source:

13^1≡13 \pmod{30}