theorem Th49: :: GR_FREE0:48

for I being non empty set
for i being Element of I
for H being Group-like associative multMagma-Family of I holds [*i,(1_ (H . i))*] = 1_ (FreeProduct H)