theorem Th68: :: GR_FREE0:67

for I being non empty set
for H being Group-like associative multMagma-Family of I holds factorization (1_ (FreeProduct H)) = {}