$Pretpostavimo da je C pozitivno definitna matrica i neka je $\{Q\leq c\}\neq 0$. Tada $y \in \{Q \leq c\}$ povlaci$: