TeX source:

17^1≡17 \pmod{30}