>>427
いや、最初に「対称式」が一般的に定義され、
その中で特別な対称式として「基本多項式」が定義されると解釈している。