theorem Th1: :: POLYALGX:1

for R being non degenerated comRing
for f being sequence of R holds
( Support f = {} iff f = 0_. R )