指数が2以上の時、
x^m-y^n=1
の整数解はx=3,m=2,y=2,n=3に限る事が証明された。カタラン予想と呼ばれていたもので、証明は今世紀に入ってされた。