for R being domRing holds {(0. R)} is prime