theorem maxirr: :: RING_2:25

for R being non degenerated comRing
for a being non zero Element of R st {a} -Ideal is maximal holds
a is irreducible