Ali Nesin ' in cebir kitabında (İngilizce ) : (matematikkoyu.org/e-kutuphane/ders-notlari/AlgebraLectureNotes.pdf)
Lemma 12.1.1 Bir halkanın yerel olması için gerek ve yeter koşul tersinir olmayan elemalarının bir ideal oluşturmasıdır.
(Burada gereken yönünü ispatı. Yerel halkanın tanımında değişmeli ve birim elemanlı olma koşulu var)
$R$ bir yerel halka olsun. $M$ biricik maksimal ideali olsun. $R$ de tersinir olmayan her elemanı içeren bir maksimal ideal olacağı için (Burada, Zorn un Lemmasına gereksinim var) tersinir olmayan her eleman $M$ ye ait olur. (Karşı yönün ispatı daha kolay)
İddia, bu lemmayı kullanarak, hemen ispatlanabilir: hem $r$ hem de $1-r$, $M$ de olsaydı $1\in M$ de olurdu. Çelişki.