16.4. TételEgység létezésének szükséges és elégséges feltételeEgy kommutatív gyűrűben akkor és csak akkor létezik egység, ha létezik egységelem.♣↓Alárendelt lap:Bizonyítás