n,pは自然数として、納K=1,7n]tan^2p(kπ/7)は自然数であることを示せ。