すなわち,の元を係数とする次数 "m" の多項式 "f"("x")が,gf("p""m")の原始元 "α" を根に持つ(つまり,"f"("α")＝0となる)とき,"f"("x")は原始多項式である.