一部修正
2行目,3行目のdはnが正しい.
10行目の「...〜を満たす自然数x,yの組が...」
の部分は "互いに素な" 自然数x,yの組に修正
これは近似定理から存在を示すのだから明らかに可能
この修正は１番最後に段階で効いてくる 以上.