このときFがk(a_1,...,a_m)上分離代数的であることと行列D_i(a_j)が可逆であることは同値である.
F