theorem :: PBOOLE:137

for I being set
for M being V8() ManySortedSet of I holds not {} in rng M