要するにこういうことかい？

if(tがcの倍数でない場合){

　　矛盾することを示す。

　　if(2^(qr-1)(1-(p^(n-1)+p^(n-3)+…+1)/(p+1)^(qr-1))/tが割り切れる場合){
　　　　この値をwとすると 〜〜(中略)〜〜 矛盾する。

　　}else{

　　　　■こっちのケースでも矛盾することを言わなければならないのに、そもそもこのケースを考えてすらいない■

　　}

}