theorem :: XBOOLE_1:61

for X being set st X <> {} holds
{} c< X