theorem thdegLM: :: FIELD_6:3

for R being Ring
for p being Polynomial of R holds deg (LM p) = deg p