theorem thLC: :: FIELD_6:2

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