theorem :: LIOUVIL2:11

for R being non degenerated Ring
for S being non degenerated Subring of R
for f being monic Polynomial of S
for g being Polynomial of R st f = g holds
g is monic