カタラン予想
次の不定方程式について、
x − y = 1
x, a, y, b > 1
上記を満たす自然数解の組み合わせは
x = 3, a = 2, y = 2, b = 3
だけであるというものである。