18/06/07 21:39:18.98 egSWOtx3.net
要するにこういうことかい？
if(tがcの倍数でない場合){
矛盾することを示す。
if(2^(qr-1)(1-(p^(n-1)+p^(n-3)+…+1)/(p+1)^(qr-1))/tが割り切れる場合){
この値をwとすると ～～(中略)～～ 矛盾する。
}else{
■こっちのケースでも矛盾することを言わなければならないのに、そもそもこのケースを考えてすらいない■
}
}
18/06/07 21:39:18.98 egSWOtx3.net
要するにこういうことかい？
if(tがcの倍数でない場合){
矛盾することを示す。
if(2^(qr-1)(1-(p^(n-1)+p^(n-3)+…+1)/(p+1)^(qr-1))/tが割り切れる場合){
この値をwとすると ～～(中略)～～ 矛盾する。
}else{
■こっちのケースでも矛盾することを言わなければならないのに、そもそもこのケースを考えてすらいない■
}
}