theorem Th14: :: QUIN_1:14

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