for x1, x2 being Real
for a, b, c being Complex st a <> 0 & ( for x being Real holds Polynom (a,b,c,x) = Quard (a,x1,x2,x) ) holds
( b / a = - (x1 + x2) & c / a = x1 * x2 )