$Teorem 7.11. Pretpostavimo da je Q kvadraticni funkcional definiran sa $Q(y)=\frac12y^\tau Cy+b^\tau y+\gamma$. Tada je $\{Q \leq c\}$ kompaktan ako i samo ako je C pozitivno definitan$.