theorem Th46: :: GR_FREE0:45

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