theorem Th42: :: POLYALGX:42

for R being non degenerated comRing
for f being Series of 1,R holds BagN1 .: (Support f) = Support (f * NBag1)