theorem Th44: :: POLYALGX:44

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