First ring isomorphism theorem