theorem Th12: :: FIELD_1:11

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