未解決問題の進捗 (pr=(p+1)/2のとき)
Ⅰ．sを1≦s≦r-1の任意の整数として、cs≠qsのとき
Ⅰ．ⅰ cr<qr-1のとき
・pr>psまたは、trがprの倍数のとき
証明完了
・pr<psかつps-1がpr^(qr-cr-1)の倍数になるとき
未解決

Ⅰ．ⅱ cr=qr-1のとき
未解決

Ⅱ．1≦k≦r-1の全てのkに対して、ck=qkとなるとき
Ⅱ．ⅰ cr<qr-1のとき
証明完了

Ⅱ．ⅱ cr=qr-1のとき
証明完了