theorem Th15: :: ALGGEO_1:15

for R being domRing
for n being non empty Ordinal
for p being Polynomial of n,R holds Zero_ {p} = Zero_ p