State/Homomorphic images of subgroups are subgroups

=Proof=