theorem Th63: :: XBOOLE_1:63

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