>>229
問題の解はn=3、類題の解はn=3^k (k:正整数)。
解答の方針は、整数 n>1 が n|(2^n +1) を満たすとき
1) n の任意の素因数 p について、2 mod p の位数は偶数(2aとおく)、かつ a|n
2) n の最小素因数は3
3) n は3以外の素数を約数にもたない
を順に示したら、あとは 2^n +1 を割り切る最大の3の冪を求めればいい。