theorem Th38: :: PRE_POLY:39

for X being set
for b1, b2 being natural-valued ManySortedSet of X holds support (b1 -' b2) c= support b1