theorem Th65: :: GROUP_23:67

for I being non empty set
for F1, F2 being Group-Family of I
for f being Homomorphism-Family of F1,F2 holds Image (product f) = product (Image f)