theorem Th3: :: PROB_4:3

for X being set
for A, B being Subset of X st A misses B holds
(A,B) followed_by {} is disjoint_valued