theorem :: RING_1:4

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