theorem Th21: :: MSSUBFAM:21

for I being set
for A being ManySortedSet of I holds
( A is V39() iff bool A is V39() )