theorem :: XBOOLE_1:62

for X being set holds not X c< {} by Th3;