theorem Th3: :: XBOOLE_1:3

for X being set st X c= {} holds
X = {}