Fuente TeX:
\exists k \in \mathbb{Z}, 7^{2025} -1 = 6k