for G, H being Group
for I being Subgroup of H
for f being Homomorphism of G,I holds f is Homomorphism of G,H