theorem Th41: :: POLYALGX:41

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