>>146
Sを1と素数の集合し、S=∪Tiを4元ずつのdisjoint unionとする。T={a,b,c,d}をそのうちの一つとして
f(a2^i)=b2^i、f(b2^i)=c2^i、f(c2^i)=d2^i、f(d2^i)=a2^(I+1)、f(0)=0
とすれば良い。