theorem Th62: :: GR_FREE0:61

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