:: deftheorem defines Polynom POLYEQ_1:def 4 :
for a, b, c, d, x being Complex holds Polynom (a,b,c,d,x) = (((a * (x |^ 3)) + (b * (x ^2))) + (c * x)) + d;