theorem Th7: :: DYNKIN:8

for Omega being non empty set
for x, y being Subset of Omega st x misses y holds
(x,y) followed_by ({} Omega) is V62()