first isomorphism theorem, sans diagram