そこで、formula_9の基本対称式 'p'における多項式formula_11として表すことができる。