上述のように、formula_10が次数formula_11の多項式であることを示すことは難しくない。