theorem Th10: :: GR_FREE0:9

for M0 being multMagma-yielding Function holds
( M0 = {} iff FreeAtoms M0 = {} )