theorem Th18: :: SCMYCIEL:18

for X being set holds
( not union X = {} or X = {} or X = {{}} )