theorem :: XBOOLE_1:65

for X being set holds X misses {} ;