theorem :: FIELD_5:21

for F being strict Field
for p being linear Element of the carrier of (Polynom-Ring F) holds embField (emb p) = F