theorem :: MSSUBFAM:19

for I being set
for A, B being ManySortedSet of I st B is V8() & [|A,B|] is V39() holds
A is V39()