theorem bb7a: :: RING_5:26

for X being non empty set
for b being bag of X
for x being Element of X st support b = {x} holds
b = ({x},(b . x)) -bag