>>480,483
間違った命題である「a^2=4b+5を満たす整数は存在しない」の"証明"と、
まったく同じ手順で、5を3に置き換えただけで証明を行うなら、
自動的にその証明の仕方は間違っていることになるよね。
(間違った論証ができてしまう"証明"であるのだから。）

話は逆で、a^2=4b+3と書けるのだから、aは「奇数である」ということを
前提として証明を進めるのが手じゃないでしょうか。奇数であれば、
自然数を表す文字nを使ってaはどう書けるはずですか?