Let be a Group and and . Then , and also Proof Firstly, let . Then because . So . Now also . Hence define with . Note that Furthermore, is surjective, hence by the First Isomorphism Theorem.