theorem Th12: :: GR_FREE0:11

for M1 being non empty multMagma holds FreeAtoms <*M1*> = [:{1}, the carrier of M1:]