nは偶数
n=2kより(2^k+1)(2^k-1)=3^m
差が2で素因数が3or1のみ持つ,を満たすのはk=1に限る 以下略
みたいな感じだろ