theorem Z2: :: FIELD_11:10

for R being non degenerated Ring
for n being Ordinal
for p being Polynomial of n,R holds
( Support (LM p) = {} or Support (LM p) = {(Lt p)} )