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