theorem :: MSSUBFAM:20

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