Catalan’s Conjecture says that the only pair of consecutive powers of positive integers is 8 and 9. Namely, the Clatalan’s equation
x^2-y^3=1
has (x, y, p, q) = (3, 2, 2, 3) as its only positive integer solution. This is a theorem in number theory that was proposed by Eug
