theorem :: XBOOLE_1:67

for X, Y, Z being set st X c= Y & X c= Z & Y misses Z holds
X = {} by Th3, Th19;