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