theorem thpr: :: RING_2:24

for R being non degenerated comRing
for a being non zero Element of R holds
( a is prime iff {a} -Ideal is prime )