theorem ThCon: :: MOEBIUS2:32

for p being Prime
for g being positive-yielding bag of Seg p st g = p |-> p holds
g = g * (canFS (support g))