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