theorem :: RING_5:50

for R being domRing
for p being Ppoly of R holds LC p = 1. R by cc2;