>それらはn個あり
少なくとも最小多項式が非分離的の場合n未満ではないですか?
あと、分離的である場合でもn未満となることはないですか?