>>508
だめだこりゃ。

wは整数ではないのに、その if 節では「wは整数」を仮定しているのだから、
その if 節の中ではきちんと矛盾してるでしょ。
問題は else 節で矛盾が言えてないことであり、それは君が言うところの

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

　　w := 2^(qr-1)(1-(p^(n-1)+p^(n-3)+…+1)/(p+1)^(qr-1))/t;

　　w は整数にならないので、以下では「 w は整数でない」として矛盾を導けばよい。
　　で？どうやって矛盾を導くの？
}

と全く同じことでしょうに。