未解決問題の進捗
(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のとき
証明完了