theorem :: RING_1:10

for R being Ring holds Class (EqRel (R,{(0. R)})) = rng (singleton the carrier of R)