theorem Z2a: :: FIELD_11:11

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