TeX source:

23^1≡23 \pmod{30}