Bu sorunun ifadesi biraz problemli.
Nedeni: indirgenemezlik tanımında (genellikle) "tersi olmamak" koşulu da vardır.
(Bu nedenle, tersi olan elemanlara indirgenemez demeyiz.)
(başka deyişle, indirgenemez olmak, "indirgenebilir olmamak" değil)
Burada ise indirgenemez elemanın (0 dan farklı her elemanın) tersinin var olduğu gösterilmek isteniyor.
Soru şöyle ifade edilseydi daha iyi olurdu:
Bir tamlık bölgesinde indirgenebilir eleman yok ise, o tamlık bölgesi bir cisimdir.
Bu şekli ile iddiayı (yanlış olması durumunda bir çelişki elde ederek) ispatlamayı bir dener misin.