theorem Th9: :: RING_1:9

for R being Ring
for a being Element of R holds Class ((EqRel (R,{(0. R)})),a) = {a}