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