p = 2n + 1 を奇素数とする。
(x -(tan(π/p))^2)*(x -(tan(2π/p))^2)*(x -(tan(3π/p))^2)* ........*(x -(tan(π/p))^2)
は、 x の整係数多項式であり、最高次の係数以外の係数は p の倍数であり、
定数項は p^2 で割り切れない