Fermat–Catalan conjecture
In number theory, the Fermat–Catalan conjecture is a generalization of Fermat's Last Theorem and of Catalan's conjecture. The conjecture states that the equation has only finitely many solutions (a, b, c, m, n, k) with distinct triplets of values (am, bn, ck) where a, b, c are positive coprime integers and m, n, k are positive integers satisfying The inequality on m, n, and k is a necessary part of the conjecture.
Source: Wikipedia — Fermat–Catalan conjecture (CC BY-SA 4.0)