theorem Th1: :: QUIN_1:1

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