>>519,521
流れはOKだけど、少しおかしな点がある。

> そういうnが存在するならば
> n＾2=k(3n+1)と表せるような自然数ｋが存在する
>>519を読む限り、“そういう”とは、
“nを任意の自然数とするとき、n＾2と3n+1の最大公約数が1となる”としか読めない。
多分背理法を使っているんだろうが、それならば“自然数ｋが存在する”ではなくて、
“1より大きい（もしくは2以上の）自然数が存在する”とすべきだしね。

>k={4(4m＾2+2m)+1}/{4・3m+1}
>となるのでそのような自然数ｋは存在しない。
あと、これはちょっと説明した方がいい気がするね。

最後に、>>521の
> 真ん中らへん
にﾁｮﾄﾜﾛﾀ