theorem Th39: :: POLYALGX:39

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