theorem :: RING_3:74

for R being Ring
for S being b₁ -isomorphic Ring holds R is S -isomorphic