theorem Th3: :: POLYALGX:3

for R being non degenerated comRing
for f being sequence of R st f is finite-Support sequence of R holds
Support f is finite