>>503
だから、整数を仮定して矛盾を導いているというのが分からないのですか。
分からないのであれば、仕方ありません。