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