theorem :: MBOOLEAN:6

for I being set
for A, B being ManySortedSet of I st A c= B holds
bool A c= bool B