theorem Th4: :: INT_7:4

for X being set
for p, q being bag of X st support p = {} & support q = {} holds
p = q