State/First isomorphism theorem for groups

 =Proof=