for R being Ring
for S being b₁ -homomorphic Ring
for f being Homomorphism of R,S holds R / (ker f), Image f are_isomorphic