$I_t$'nin disindan bir $g$ fonksiyonu alalim: yani $g(t) = c \neq 0$. Amacimiz $\left<I_t, g\right>$ idealinin butun halkaya esit oldugunu gostermek.
Simdi $$\tilde{g}(x) = g(x) - c$$ fonksiyonunu dusunelim. Bu fonksiyon $t$'de sifirlanir: $$\tilde{g}(t)=g(t) - c = g(t) - g(t) = 0$$.
Dolayisiyla $\tilde{g} \in I_t$. Demek ki $g - \tilde{g} \in \left<I_t, g\right>$. Yani, sabit $c$ fonksiyonu $\left< I_t, g\right>$ idealinde bulunuyor. Ama sabit $c$ fonksiyonu tersinir bir eleman. Demek ki $\left< I_t, g\right>$ halkamiza esit. Bu da $I_t$'nin maksimal oldugunu gosterir.