theorem Th12: :: NUMBER08:12

for X being set
for f being Function holds support ((EmptyBag X) +* f) = support f