theorem :: PBOOLE:104

for I being set
for X, Y, Z being ManySortedSet of I st X overlaps Y (\) Z holds
X overlaps Y by Th56, Th99;