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