「とおく。」とした時点で「おける場合」しか考えてないので証明としては誤り。

全ての場合について自然数解が存在しないことが示せてはじめて証明と言える。