"n" 変数の多項式 "f"("x"1,"x"2,…,"x""n")が、任意の σ ∈ "s""n" に対して