$Obratno, pretpostavimo da je $\{Q \leq c\}$ kompaktan. Ako C nije pozitivno definitna matrica onda ima netrivijalnu jezgru koja je neogranicena. U tom slucaju za svaki $v \in N(C)$ je $y_0+v \in \{Q\leq c\}$ ako je $y_0 \in \{Q \leq c\}$ sto povlaci neogranicenost od $\{Q \leq c\}$ suprotno pretpostavci$.