TeX source:

7^9≡3 \pmod{10}