theorem Th8: :: GRSOLV_1:8

for G, H being Group
for g being Homomorphism of G,H
for A being Subgroup of G holds the carrier of (g .: A) = g .: the carrier of A