>>549
>>557の
>無理数でないことを仮定すると有理数と判断するような背理法の使用法はあり
の部分は
>無理数でないことを仮定して矛盾が得られたとき有理数と判断するような、背理法の使用法はあり
ね。