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

Theorem
If everything isn't, there's nothing that is:
 * $\forall x: \neg P \left({x}\right) \dashv \vdash \neg \exists x: P \left({x}\right)$

and vice versa.