theorem Th15: :: GROUP_22:15

for G1, G2 being Group
for f being Homomorphism of G1,G2
for H being Subgroup of G1 holds Ker (f | H) is Subgroup of Ker f