theorem thdegLC: :: FIELD_6:4

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