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