theorem Th14: :: GR_FREE0:13

for M1, M2, M3 being non empty multMagma holds FreeAtoms <*M1,M2,M3*> = ([:{1}, the carrier of M1:] \/ [:{2}, the carrier of M2:]) \/ [:{3}, the carrier of M3:]