ピライの予想

k >= 2、p >= 2、q >= 2のとき、mp - nq = kは有限個の解しか持たない。
カタラン予想の発展版です。