関数体の場合はdegが考えられる分情報が多くなるから簡単になる