theorem :: MSSUBFAM:24

for I being set
for F being ManySortedFunction of I st doms F is V39() holds
rngs F is V39()