theorem Th19: :: GR_FREE0:18

for M0, N0 being multMagma-yielding Function holds FreeAtoms (M0 +* N0) c= (FreeAtoms M0) \/ (FreeAtoms N0)