18/03/23 07:01:04.90 EuazrwzR.net
Le Veque の定理（1952)
x-y = 1 のとき
x^m - y^n = 1 …(1)
を満足する2以上の自然数解は x=3，y=2，m=2，n=3 に限る。
・カタラン予想に x-y=1 の制限を付加したもの。
・カタラン予想そのものは 2004年にミハイルスクにより証明された。
数セミ増刊 「数学 100の定理」 日本評論社（1984） p.104-105
数セミ増刊 「数学・物理 100の方程式」 日本評論社（1989） p.20-21