theorem lemma2e: :: FIELD_8:5

for R being non degenerated Ring
for S being RingExtension of R
for p being Polynomial of R
for q being Polynomial of S st p = q holds
LC p = LC q