>>7
存在したとする

外角は2π/nとなるが、格子多角形より、
tan(2π/n)は有理数となる

ここで、1=[Q(tan(2π/n)):Q]≧[Q(exp(2πi/n)):Q]/2 = φ(n)/2
であるが、n≧7であれば
φ(n)=2となるのは矛盾