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