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