>>131>>134はこんな風に一般化できるかな
F_iをF_i=2^(2^ｉ)+1の数として
(2^t)*｛Πp_j^(n_j)}　( p_j≡1 (mod Π[2^i≦tかつF_iが素数となるような整数i]F_i ))はφ(x)の値にはなりえない

以上、LIVE2chのカキコテストを兼ねて自己満カキコ