theorem Th19: :: GROUP_17:19

for G being Group
for q being set
for F being Group-like associative multMagma-Family of {q}
for f being Function of G,(product F) st F = q .--> G & ( for x being Element of G holds f . x = q .--> x ) holds
f is Homomorphism of G,(product F)