未解決の場合分け (pr=(p+1)/2のとき)
T.sを1≦s≦r-1の任意の整数として、cs≠qsのとき
T.@ cr<qr-1のとき
pr<psかつps-1がpr^(qr-cr-1)の倍数になるとき
T.A cr=qr-1のとき

U.1≦s≦r-1の全てのsに対して、ck=qkとなるとき