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