theorem YY: :: FIELD_11:5

for R being non degenerated Ring
for n being Ordinal
for p being Polynomial of n,R holds
( p = 0_ (n,R) iff Support p = {} )