Fuente TeX:

x \equiv 4600 \pmod{5423}