>>２６８
何か別のものに同じ記号使ってたりしてムチャクチャだな。
たぶんあなたが写し間違えてるだけだと思うが、おそらく
「（∵）」以降は本当は次のようになってるはず。

（∵）ｆ_0（ｘ）∈Ｉより，ｆ_0（ｘ）Ｋ[ｘ]⊂Ｉ
∀ｇ（ｘ）∈Ｉ　に対して∃q（ｘ） ∃r（ｘ）
ｇ（ｘ）＝ｆ_0（ｘ）q（ｘ）＋ｒ（ｘ）
かつ　degｒ（ｘ）＜degｆ_0（ｘ）またはｒ＝０
∴ｒ（ｘ）=0