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