Fuente TeX:
\exists k \in Z / a^4 - b^4 = 5 \cdot k