まとめると、"f" の次数 "n" の拡大の全ての元は、"n" を割る次数 "d" のある既約多項式の根であり、2つの方法でこれらの根の数を数え上げることにより、