thus ( Polynom-Evaluation (L,x) is additive & Polynom-Evaluation (L,x) is multiplicative & Polynom-Evaluation (L,x) is unity-preserving ) ; :: according to QUOFIELD:def 18 :: thesis: verum