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