Formal target: Corpus.WikipediaFermatCatalanConjecture.fermat_catalan
The **Fermat–Catalan conjecture** states that the equation $a^m + b^n = c^k$ has only finitely many solutions $(a,b,c,m,n,k)$ with distinct triplets of values $(a^m, b^n, c^k)$ where $a, b, c$ are positive coprime integers and $m, n, k$ are positive integers satisfying $\frac 1 m + \frac 1 n + \frac 1 k < 1$.
Exact formal statement
Corpus.WikipediaFermatCatalanConjecture.fermatCatalanConjectureThis target is a formal statement, not a proof of the problem.
Environment availability: available.