for I being set
for A, B being ManySortedSet of I st A c= B & B is V39() holds
A is V39()