xy M'nin elemani oldugu icin x veya y den biri M'de olmak zorunda.
Ayni zamanda J'yi iceren tek asal ideal M oldugu icin, M maximal olmak zorunda.
Diyelimki M x'i iceriyor ama y'yi icermiyor. Bu durumlarin hepsi M'ye gore lokalizasyon
aldigimizdada dogru olur. Yani R halkasini local kabul edebiliriz ve M R'nin tek maksimal ideali
diyebiliriz. Bu durumda y M'nin elemani degilse R'de bir birim eleman olur. Bu yuzdende x J'nin
elemani olur. Buda bize bir celiski verir. Sonuc olarak y'de M'nin icinde olmak zorunda.