theorem bb3a: :: RING_5:29

for X being non empty set
for b being bag of X
for a being Element of X holds support (b \ a) = (support b) \ {a}