｛1,2,3,....p-1 |p素数 ｝をp-1個の変数と見なしてk (=1.2...p-2)次基本対称式をつくると
mod pで0となることを示せ。