First Isomorphism Theorem for Groups