习题 22, § 1

令$f$和$g$为两个互素多项式（具有复系数），$f$的次数严格小于$g$的次数。令 K 为 $f$ 和 $g$ 的系数 $\mathbf{C}$ 包含的子域，并且使得 $g$ 在 K 上不可约。对于形式 $\sum_i a_i \log u_i$ 的$f/g$ 原语，其中 $a_i$ 为K 的常数属于和 $u_i$ 是 K 上的不可约多项式，$f = c g'$ 是充分必要的，其中 $c$ 是 K 中的常数。