reserve n for Nat;

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