for R being non degenerated Ring
for p being non zero Polynomial of R holds LM p = anpoly ((p . (deg p)),(deg p))