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

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

and vice versa.