for R being Ring
for S being Subring of R
for f being Polynomial of S
for g being Polynomial of R st f = g holds
LC f = LC g by Th9;