(p+1)/2に含まれるpkの指数をdkとする
T.sを1≦s≦r-1の任意の整数として、cs≠qsのとき
T.@ qr-cr-dr>0のとき
未解決
T.A qr-cr-dr>0かつ(p+1)/2に含まれるpkのうちpr以外に対してqk-ck-dk=0のとき
未解決
T.B qr-cr-dr>0かつk=r以外に対してqk-ck-dk=0のとき
証明完了
T.C qr-cr-dr=0
未解決
T.D 全てのkに対してqk-ck-dk=0のとき
・n=1のとき
未解決
・n≧5のとき
証明完了
U.1≦k≦r-1の全てのkに対して、ck=qkとなるとき
U.@ qr-cr-dr>0のとき
証明完了
U.A qr-cr-dr=0のとき
・n=1のとき
未解決
・n≧5のとき
証明完了