theorem :: GRSOLV_1:16

for G, H being strict Group
for h being Homomorphism of G,H st G is solvable Group holds
Image h is solvable