カタラン予想

カタランは　次の　不定方程式の自然数解が

x^a − y^b = 1

x, a, y, b > 1　　

ならば x = 3, a = 2, y = 2, b = 3.

だけであると予想した。

２００３年にその正しさが証明された。