theorem :: RING_2:17

for R being Ring holds R / {(0. R)},R are_isomorphic