theorem Th48: :: GR_FREE0:47

for I being non empty set
for i being Element of I
for H being Group-like associative multMagma-Family of I
for g being Element of (H . i) holds <*[i,g]*> in [*i,g*]