theorem Th10: :: UPROOTS:13

for A being set
for S being finite Subset of A
for b being bag of A holds
( ( S = support b & degree b = card S ) iff b = (S,1) -bag )