Catalan's conjecture

Catalan's conjecture is the hypothesis, put forward by the Belgian mathematician Eugène Catalan
(1814–1894) in 1844, that 8 (= 23) and 9 (= 32)
are the only pair of consecutive powers. In other words, the Catalan equation
for prime numbersp and q and positive integers x and y:

x p - y q = 1

has only the one solution:

32 - 23 = 1.

In 1976 R. Tijdeman took the first major step toward showing this is true
by proving that for any solution, y q is less than e to the power e to the power e to the power e to the power 730 (a huge number!). Since then this bound has been reduced
many times, and it is now know that the larger of p and q is at most 7.78 × 1016 and the smaller is at least 107.
On April 18, 2002, the Romanian number theorist Preda Mihailescu sent a
manuscript to several mathematicians with a proof of the entire conjecture
together with an analysis by Yuri Bilu. This proof was verified other mathematicians
and published in 2004.

Solutions to Catalan's conjecture and Fermat's
last theorem are special cases of the Fermat-Catalan equation:

x p + y q = z r

Where x, y, and z are positive, coprime integers and the exponents are all primes with