theorem Th21: :: QUIN_1:21

for x, a, b, c being Real st a > 0 & ((((2 * a) * x) + b) ^2) - (delta (a,b,c)) > 0 holds
((a * (x ^2)) + (b * x)) + c > 0