f:Zm→Zm:f(a)=a^2
f(2^n)=2^n
2^(2n)≡2^n mod m
2^n(2^n-1)≡0 mod m
m|2^n(2^n-1)
m=2^ku (u,2)=1
k≦n
u|2^n-1