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