theorem YZ: :: FIELD_11:8

for R being non degenerated Ring
for n being Ordinal
for p being Polynomial of n,R holds Support (LM p) c= Support p