theorem Th4: :: GROUP_23:9

for I being set
for F being Group-like associative multMagma-Family of I holds F is Group-yielding