De Morgan's Laws (Predicate Logic)/Assertion of Existence

Theorem
Let $\forall$ and $\exists$ denote the universal quantifier and existential quantifier respectively.

Then:
 * $\neg \paren {\forall x: \neg \map P x} \dashv \vdash \exists x: \map P x$
 * If not everything is not, there exists something that is.