theorem :: QUIN_1:11

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