for p being FinSequence of REAL
for a, b, c, d, e, f being Real
for u being Point of (TOP-REAL 3)
for M being Matrix of 3,REAL st p = u & M = symmetric_3 (a,b,c,d,e,f) holds
SumAll (QuadraticForm (p,M,p)) = qfconic (a,b,c,(2 * d),(2 * e),(2 * f),u)