ゆえに
　　2=n^2
これを満たす自然数nは存在しない

個人的にはこの部分が気になる。