theorem Th48: :: GROUP_22:46

for G1, G2 being Group
for H being Subgroup of G1
for a being Element of G1
for f being Homomorphism of G1,G2 holds f .: (H * a) = (f .: H) * (f . a)