>>506
>  if(wが整数の場合){
>    wは整数にならないので矛盾する。
よって、wは整数ではない、となるだけですよ。