theorem Th21: :: POLYNOM9:21

for X being set
for b being bag of X holds support ((2 (#) b) +* (0,(b . 0))) = support b