>>627
はプログラム等にすると
((3^((((2^(2^n))+1)-1)/2))+1) mod ((2^(2^n))+1) = 0
((3^((((2^(2^n))+1)-1)/2))+1) % ((2^(2^n))+1) = 0
((3**((((2**(2**n))+1)-1)/2))+1) % ((2**(2**n))+1) == 0
等となるが、見ての通り左辺の値が大きすぎて計算時間がかかる。