It'nin disindan bir g fonksiyonu alalim: yani g(t)=c≠0. Amacimiz ⟨It,g⟩ idealinin butun halkaya esit oldugunu gostermek.
Simdi ˜g(x)=g(x)−c fonksiyonunu dusunelim. Bu fonksiyon t'de sifirlanir: ˜g(t)=g(t)−c=g(t)−g(t)=0.
Dolayisiyla ˜g∈It. Demek ki g−˜g∈⟨It,g⟩. Yani, sabit c fonksiyonu ⟨It,g⟩ idealinde bulunuyor. Ama sabit c fonksiyonu tersinir bir eleman. Demek ki ⟨It,g⟩ halkamiza esit. Bu da It'nin maksimal oldugunu gosterir.